Pow Mul log x0 coth Pow pi x0 acoth x3 
Mul Pow Mul log x0 coth Pow pi x0 Add acoth x3 -1 Mul acoth x3 Add Mul coth Pow pi x0 Pow x0 -1 Mul log x0 Mul Mul -1 Pow csch Pow pi x0 2 Mul Pow pi Add x0 -1 Mul pi log pi 