Mul Add x0 1 sqrt Mul x0 Add atanh acos x1 Pow Pow Add -4 x4 E -2 
Add sqrt Mul x0 Add atanh acos x1 Pow Pow Add -4 x4 E -2 Mul Add x0 1 Mul Pow Mul 2 sqrt Mul x0 Add atanh acos x1 Pow Pow Add -4 x4 E -2 -1 Add atanh acos x1 Pow Pow Add -4 x4 E -2 