You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named [3,3-bis(trifluoromethyl)pyrrolidin-1-yl]-[(2S,4S)-2-methylpiperidin-4-yl]methanone by IUPAC nomenclature, provide its molecular formula.
user
C13H18F6N2O
assistant