Mul atan Add asec x0 Pow Add x4 Add coth x0 atan x2 x0 2 
Mul 2 Mul Add Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Pow Add x4 Add coth x0 atan x2 Add x0 -1 Add Mul x0 Mul -1 Pow csch x0 2 Mul Add x4 Add coth x0 atan x2 log Add x4 Add coth x0 atan x2 Pow Add 1 Mul Add asec x0 Pow Add x4 Add coth x0 atan x2 x0 Add asec x0 Pow Add x4 Add coth x0 atan x2 x0 -1 