tan atan exp Add acosh asinh sech x7 x0 
Mul Pow sec atan exp Add acosh asinh sech x7 x0 2 Mul exp Add acosh asinh sech x7 x0 Pow Add 1 Mul exp Add acosh asinh sech x7 x0 exp Add acosh asinh sech x7 x0 -1 