Add Pow x0 Pow pi cosh coth x0 x0 
Add Mul Pow x0 Add Pow pi cosh coth x0 -1 Add Pow pi cosh coth x0 Mul Mul x0 log x0 Mul Pow pi Add cosh coth x0 -1 Mul Mul pi log pi Mul sinh coth x0 Mul -1 Pow csch x0 2 1 