Mul x0 Add asech Mul -2 Mul x4 x0 Mul x0 Mul x0 -2.29913509311287 
Add Add asech Mul -2 Mul x4 x0 Mul x0 Mul x0 -2.29913509311287 Mul x0 Add Mul Mul -2 x4 Pow Mul Mul Mul -2 Mul x4 x0 Mul -2 Mul x4 x0 sqrt Add 1 Mul -1 Pow Mul Mul -2 Mul x4 x0 Mul -2 Mul x4 x0 -1 -1 Add Mul x0 -2.29913509311287 Mul x0 -2.29913509311287 