You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named tert-butyl 2-[2-(3-ethenylphenyl)-2-(1-hydroxycyclohexyl)ethyl]piperazine-1-carboxylate is given. What is its corresponding molecular formula?
user
C25H38N2O3
assistant