Mul Pow x7 -2 Mul -4 Pow atanh Mul x3 sqrt Add Add x7 x7 -1 x0 
Mul Pow x7 -2 Mul -4 Mul Pow atanh Mul x3 sqrt Add Add x7 x7 -1 Add x0 -1 Mul atanh Mul x3 sqrt Add Add x7 x7 -1 log atanh Mul x3 sqrt Add Add x7 x7 -1 