Pow x0 atanh Mul Mul x0 x7 Mul x0 Pow Add x6 x0 2 
Mul Pow x0 Add atanh Mul Mul x0 x7 Mul x0 Pow Add x6 x0 2 -1 Add atanh Mul Mul x0 x7 Mul x0 Pow Add x6 x0 2 Mul Mul x0 log x0 Mul Add Mul Mul x0 Pow Add x6 x0 2 x7 Mul Mul x0 x7 Add Pow Add x6 x0 2 Mul x0 Mul Add x6 x0 2 Pow Add 1 Mul -1 Mul Mul Mul x0 x7 Mul x0 Pow Add x6 x0 2 Mul Mul x0 x7 Mul x0 Pow Add x6 x0 2 -1 