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