Mul x2 Add sqrt Pow Mul 1.36943840600457 Pow x0 x7 x6 x0 
Mul x2 Add Mul Pow Mul 2 sqrt Pow Mul 1.36943840600457 Pow x0 x7 x6 -1 Mul Pow Mul 1.36943840600457 Pow x0 x7 Add x6 -1 Mul x6 Mul 1.36943840600457 Mul Pow x0 Add x7 -1 x7 1 