Pow Mul x0 Mul 0.0312500000000000 x0 Add Pow atanh x5 x0 x0 
Mul Pow Mul x0 Mul 0.0312500000000000 x0 Add Add Pow atanh x5 x0 x0 -1 Add Mul Add Pow atanh x5 x0 x0 Add Mul 0.0312500000000000 x0 Mul x0 0.0312500000000000 Mul Mul Mul x0 Mul 0.0312500000000000 x0 log Mul x0 Mul 0.0312500000000000 x0 Add Mul Pow atanh x5 Add x0 -1 Mul atanh x5 log atanh x5 1 