Mul asec x0 Mul 2 Pow Add x0 Pow 8165619676597685 x1 Mul -4 x2 
Add Mul Mul 2 Pow Add x0 Pow 8165619676597685 x1 Mul -4 x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asec x0 Mul 2 Mul Pow Add x0 Pow 8165619676597685 x1 Add Mul -4 x2 -1 Mul -4 x2 