You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
ethyl (E)-4-[(3aS,4S,7aR)-7-[(Z,4R,5S)-5-hydroxy-4-methylhex-2-enyl]spiro[4,6,7,7a-tetrahydro-3aH-[1,3]dioxolo[4,5-c]pyran-2,1'-cyclohexane]-4-yl]-3-methylbut-2-enoate The above is the IUPAC name of a molecule. Write its molecular formula.
user
C25H40O6
assistant