Mul x0 Pow Add Mul x5 Add atanh x7 x0 x7 sqrt x0 
Add Pow Add Mul x5 Add atanh x7 x0 x7 sqrt x0 Mul x0 Mul Pow Add Mul x5 Add atanh x7 x0 x7 Add sqrt x0 -1 Add Mul sqrt x0 x5 Mul Mul Add Mul x5 Add atanh x7 x0 x7 log Add Mul x5 Add atanh x7 x0 x7 Pow Mul 2 sqrt x0 -1 