You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named methyl (2S,4S)-1-(2,2-diphenylacetyl)-4-piperidin-1-ylpyrrolidine-2-carboxylate is given. What is its corresponding molecular formula?
user
C25H30N2O3
assistant