You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 4-(4-propylcyclohexyl)bicyclo[2.2.2]octan-1-ol into its molecular formula.
user
C17H30O
assistant