atanh Add Pow Mul x2 Pow x0 3 -1 acoth Pow -1 x1 
Mul Mul Pow Mul x2 Pow x0 3 2 Mul -1 Mul x2 Mul Pow x0 2 3 Pow Add 1 Mul -1 Mul Add Pow Mul x2 Pow x0 3 -1 acoth Pow -1 x1 Add Pow Mul x2 Pow x0 3 -1 acoth Pow -1 x1 -1 