Add Mul x3 -3 Mul x0 Pow Mul x0 Add Pow x0 2.31243834127275 -2 x6 
Add Pow Mul x0 Add Pow x0 2.31243834127275 -2 x6 Mul x0 Mul Pow Mul x0 Add Pow x0 2.31243834127275 -2 Add x6 -1 Mul x6 Add Add Pow x0 2.31243834127275 -2 Mul x0 Mul Pow x0 1.31243834127275 2.31243834127275 