Mul asech Mul Add -0.999329299739067 x0 -2 Mul x0 Add Mul x0 -4 Add x1 x7 
Add Mul Mul x0 Add Mul x0 -4 Add x1 x7 Mul -2 Pow Mul Mul Mul Add -0.999329299739067 x0 -2 Mul Add -0.999329299739067 x0 -2 sqrt Add 1 Mul -1 Pow Mul Mul Add -0.999329299739067 x0 -2 Mul Add -0.999329299739067 x0 -2 -1 -1 Mul asech Mul Add -0.999329299739067 x0 -2 Add Add Mul x0 -4 Add x1 x7 Mul x0 -4 