Mul coth acos x0 csch Mul Mul Pow sqrt x0 x0 tanh x6 atan x0 
Add Mul csch Mul Mul Pow sqrt x0 x0 tanh x6 atan x0 Mul Mul -1 Pow csch acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul coth acos x0 Mul Mul Mul -1 coth Mul Mul Pow sqrt x0 x0 tanh x6 atan x0 csch Mul Mul Pow sqrt x0 x0 tanh x6 atan x0 Add Mul atan x0 Mul tanh x6 Mul Pow sqrt x0 Add x0 -1 Add Mul x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 log sqrt x0 Mul Mul Pow sqrt x0 x0 tanh x6 Pow Add 1 Mul x0 x0 -1 