You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name ethyl (1S,2R)-2-pyrrolidin-1-ylcyclohexane-1-carboxylate ?
user
C13H23NO2
assistant