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 3-oxo-3-(3-oxo-1,2,5,6,8,8a-hexahydroimidazo[1,5-a]pyrazin-7-yl)propanenitrile ?
user
C9H12N4O2
assistant