Pow Mul x0 x0 coth Add Mul sec E Add csch acoth x0 -2 x2 
Mul Pow Mul x0 x0 Add coth Add Mul sec E Add csch acoth x0 -2 x2 -1 Add Mul coth Add Mul sec E Add csch acoth x0 -2 x2 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Mul -1 Pow csch Add Mul sec E Add csch acoth x0 -2 x2 2 Mul sec E Mul Mul Mul -1 coth acoth x0 csch acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 