Mul Pow x0 -1 Pow Mul Pow 4 x0 x4 Add -4 Mul x4 x7 
Add Mul Pow Mul Pow 4 x0 x4 Add -4 Mul x4 x7 Mul Pow x0 2 -1 Mul Pow x0 -1 Mul Pow Mul Pow 4 x0 x4 Add Add -4 Mul x4 x7 -1 Mul Add -4 Mul x4 x7 Mul x4 Mul Pow 4 Add x0 -1 5.38629436111989 