You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 1-(1-benzothiophen-2-yl)-N,N-dimethylcyclohexan-1-amine;(E)-but-2-enedioic acid into its molecular formula.
user
C20H25NO4S
assistant