Add Add pi Pow asinh Mul asec coth x0 pi Mul x0 sech E -4 
Mul Pow asinh Mul asec coth x0 pi Add Mul x0 sech E -1 Add Mul Mul x0 sech E Mul Mul pi Mul Mul -1 Pow csch x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul coth x0 coth x0 -1 coth x0 coth x0 -1 Pow sqrt Add 1 Mul Mul asec coth x0 pi Mul asec coth x0 pi -1 Mul Mul asinh Mul asec coth x0 pi log asinh Mul asec coth x0 pi sech E 