sqrt sec Mul Mul Pow pi csch x0 x0 -3 
Mul Pow Mul 2 sqrt sec Mul Mul Pow pi csch x0 x0 -3 -1 Mul Mul tan Mul Mul Pow pi csch x0 x0 -3 sec Mul Mul Pow pi csch x0 x0 -3 Mul -3 Add Mul x0 Mul Pow pi Add csch x0 -1 Mul Mul pi log pi Mul Mul -1 coth x0 csch x0 Pow pi csch x0 