coth Pow sqrt x7 Pow Pow pi coth x0 x0 
Mul Mul -1 Pow csch Pow sqrt x7 Pow Pow pi coth x0 x0 2 Mul Pow sqrt x7 Add Pow Pow pi coth x0 x0 -1 Mul Mul sqrt x7 log sqrt x7 Mul Pow Pow pi coth x0 Add x0 -1 Add Mul x0 Mul Pow pi Add coth x0 -1 Mul Mul pi log pi Mul -1 Pow csch x0 2 Mul Pow pi coth x0 log Pow pi coth x0 