You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name diethyl (5E)-5-but-3-enylidene-3-methylcyclohex-2-ene-1,1-dicarboxylate ?
user
C17H24O4
assistant