Mul Add 0.580453223070659 Mul x7 Add Mul Mul x0 E 2 2.23606797749979 Add x0 Add -2 atanh E 
Add Mul Add x0 Add -2 atanh E Mul x7 Mul 2 E Add 0.580453223070659 Mul x7 Add Mul Mul x0 E 2 2.23606797749979 