Mul Add x0 x0 Pow Mul Pow sqrt x0 x6 -2 x3 
Add Mul Pow Mul Pow sqrt x0 x6 -2 x3 2 Mul Add x0 x0 Mul Pow Mul Pow sqrt x0 x6 -2 Add x3 -1 Mul x3 Mul -2 Mul Pow sqrt x0 Add x6 -1 Mul x6 Pow Mul 2 sqrt x0 -1 