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