Add 3 exp coth Add Mul sqrt tanh Pow acos x0 E Pow x6 tanh Pow Pow x3 atanh atan x2 4 x7 
Mul exp coth Add Mul sqrt tanh Pow acos x0 E Pow x6 tanh Pow Pow x3 atanh atan x2 4 x7 Mul Mul -1 Pow csch Add Mul sqrt tanh Pow acos x0 E Pow x6 tanh Pow Pow x3 atanh atan x2 4 x7 2 Mul Pow x6 tanh Pow Pow x3 atanh atan x2 4 Mul Pow Mul 2 sqrt tanh Pow acos x0 E -1 Mul Pow sech Pow acos x0 E 2 Mul Pow acos x0 Add E -1 Mul E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 