You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 2-but-1-enyl-7-[3-fluoro-4-(trifluoromethyl)phenyl]-1,2,3,4,4a,4b,5,6,7,8,8a,9,10,10a-tetradecahydrophenanthrene is given. What is its corresponding molecular formula?
user
C25H32F4
assistant