Add x0 Pow Add atanh x0 Add x0 coth pi acot x0 
Add 1 Mul Pow Add atanh x0 Add x0 coth pi Add acot x0 -1 Add Mul acot x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Mul Mul Add atanh x0 Add x0 coth pi log Add atanh x0 Add x0 coth pi Mul -1 Pow Add 1 Mul x0 x0 -1 