Mul Add x0 -0.549306144334055 Mul sqrt Mul x0 Pow Mul 2 x0 x6 x7 
Add Mul sqrt Mul x0 Pow Mul 2 x0 x6 x7 Mul Add x0 -0.549306144334055 Mul x7 Mul Pow Mul 2 sqrt Mul x0 Pow Mul 2 x0 x6 -1 Add Pow Mul 2 x0 x6 Mul x0 Mul Pow Mul 2 x0 Add x6 -1 Mul x6 2 