Mul x6 Pow sqrt Mul -2 x0 Mul x0 Mul x1 E 
Mul x6 Mul Pow sqrt Mul -2 x0 Add Mul x0 Mul x1 E -1 Add Mul Mul x0 Mul x1 E Mul Pow Mul 2 sqrt Mul -2 x0 -1 -2 Mul Mul sqrt Mul -2 x0 log sqrt Mul -2 x0 Mul x1 E 