Add Pow Pow x4 Mul acot x0 acos sqrt Pow Add csch x0 cosh Add x0 x0 x0 x7 x0 
Add Mul Pow Pow x4 Mul acot x0 acos sqrt Pow Add csch x0 cosh Add x0 x0 x0 Add x7 -1 Mul x7 Mul Pow x4 Add Mul acot x0 acos sqrt Pow Add csch x0 cosh Add x0 x0 x0 -1 Mul Mul x4 log x4 Add Mul acos sqrt Pow Add csch x0 cosh Add x0 x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul -1 Mul Mul Pow Mul 2 sqrt Pow Add csch x0 cosh Add x0 x0 x0 -1 Mul Pow Add csch x0 cosh Add x0 x0 Add x0 -1 Add Mul x0 Add Mul Mul -1 coth x0 csch x0 Mul sinh Add x0 x0 2 Mul Add csch x0 cosh Add x0 x0 log Add csch x0 cosh Add x0 x0 Pow sqrt Add 1 Mul -1 Mul sqrt Pow Add csch x0 cosh Add x0 x0 x0 sqrt Pow Add csch x0 cosh Add x0 x0 x0 -1 1 