Pow atanh exp x0 Mul x1 atanh Pow Add x0 x0 x0 
Mul Pow atanh exp x0 Add Mul x1 atanh Pow Add x0 x0 x0 -1 Add Mul Mul x1 atanh Pow Add x0 x0 x0 Mul exp x0 Pow Add 1 Mul -1 Mul exp x0 exp x0 -1 Mul Mul atanh exp x0 log atanh exp x0 Mul x1 Mul Mul Pow Add x0 x0 Add x0 -1 Add Mul x0 2 Mul Add x0 x0 log Add x0 x0 Pow Add 1 Mul -1 Mul Pow Add x0 x0 x0 Pow Add x0 x0 x0 -1 