Mul x0 Add x0 Mul x0 Pow Pow x0 0.259752561000285 sqrt x3 
Add Add x0 Mul x0 Pow Pow x0 0.259752561000285 sqrt x3 Mul x0 Add 1 Add Pow Pow x0 0.259752561000285 sqrt x3 Mul x0 Mul Pow Pow x0 0.259752561000285 Add sqrt x3 -1 Mul sqrt x3 Mul Pow x0 -0.740247438999715 0.259752561000285 