You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule 2-cyclohexyl-1-(3,3,3-trifluoropropyl)piperazine into molecular formula.
user
C13H23F3N2
assistant