Pow Add sqrt Mul Mul csch x2 x0 -5 Mul Pow acot acos x0 csch x0 x3 x5 
Mul Pow Add sqrt Mul Mul csch x2 x0 -5 Mul Pow acot acos x0 csch x0 x3 Add x5 -1 Mul x5 Add Mul Pow Mul 2 sqrt Mul Mul csch x2 x0 -5 -1 Mul -5 csch x2 Mul x3 Mul Pow acot acos x0 Add csch x0 -1 Add Mul csch x0 Mul -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acos x0 acos x0 -1 Mul Mul acot acos x0 log acot acos x0 Mul Mul -1 coth x0 csch x0 