You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 4-[(1S,10R,11aS)-1-hydroxy-1-(hydroxymethyl)-11a-methyl-2,3,3a,3b,4,5,8,9,10,11-decahydroindeno[5,4-f]isochromen-10-yl]benzaldehyde by IUPAC nomenclature, provide its molecular formula.
user
C25H30O4
assistant