Mul Pow atanh x6 x0 Add Mul x0 Mul Add x2 atanh E Pow x0 3 1 
Add Mul Add Mul x0 Mul Add x2 atanh E Pow x0 3 1 Mul Pow atanh x6 Add x0 -1 Mul atanh x6 log atanh x6 Mul Pow atanh x6 x0 Add Mul Add x2 atanh E Pow x0 3 Mul x0 Mul Add x2 atanh E Mul Pow x0 2 3 