Add x3 Pow Mul x0 x1 Pow Mul Add Mul sqrt x0 x0 Pow 3 Mul x1 x7 x0 x1 
Mul Pow Mul x0 x1 Add Pow Mul Add Mul sqrt x0 x0 Pow 3 Mul x1 x7 x0 x1 -1 Add Mul Pow Mul Add Mul sqrt x0 x0 Pow 3 Mul x1 x7 x0 x1 x1 Mul Mul Mul x0 x1 log Mul x0 x1 Mul Pow Mul Add Mul sqrt x0 x0 Pow 3 Mul x1 x7 x0 Add x1 -1 Mul x1 Add Mul x0 Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 Add Mul sqrt x0 x0 Pow 3 Mul x1 x7 