Mul Mul Pow pi asec pi Mul coth atan x0 x0 csch x0 
Add Mul csch x0 Mul Pow pi asec pi Add Mul x0 Mul Mul -1 Pow csch atan x0 2 Pow Add 1 Mul x0 x0 -1 coth atan x0 Mul Mul Pow pi asec pi Mul coth atan x0 x0 Mul Mul -1 coth x0 csch x0 