Add Mul x0 Mul Pow x7 atanh Pow Add 0.250000000000000 x0 x0 x4 Mul -3 x0 
Add Add Mul Pow x7 atanh Pow Add 0.250000000000000 x0 x0 x4 Mul x0 Mul x4 Mul Pow x7 Add atanh Pow Add 0.250000000000000 x0 x0 -1 Mul Mul x7 log x7 Mul Mul Pow Add 0.250000000000000 x0 Add x0 -1 Add x0 Mul Add 0.250000000000000 x0 log Add 0.250000000000000 x0 Pow Add 1 Mul -1 Mul Pow Add 0.250000000000000 x0 x0 Pow Add 0.250000000000000 x0 x0 -1 -3 