You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 4-methyl-1-[1-(2,2,2-trifluoroethyl)pyrrole-2-carbonyl]pyrrolidine-3-carboxylic acid by IUPAC nomenclature, provide its molecular formula.
user
C13H15F3N2O3
assistant