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