Mul x0 exp Mul Pow acos x6 x7 tan csch exp x0 
Add exp Mul Pow acos x6 x7 tan csch exp x0 Mul x0 Mul exp Mul Pow acos x6 x7 tan csch exp x0 Mul Pow acos x6 x7 Mul Pow sec csch exp x0 2 Mul Mul Mul -1 coth exp x0 csch exp x0 exp x0 