atanh Mul Mul 4 Add 1 pi csch Mul x0 x2 
Mul Mul Mul 4 Add 1 pi Mul Mul Mul -1 coth Mul x0 x2 csch Mul x0 x2 x2 Pow Add 1 Mul -1 Mul Mul Mul 4 Add 1 pi csch Mul x0 x2 Mul Mul 4 Add 1 pi csch Mul x0 x2 -1 