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