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