Mul Mul Pow Mul x0 Mul x0 Add Pow Mul x0 x0 3 exp x0 -2 x0 sec x7 
Mul sec x7 Add Mul x0 Mul Pow Mul x0 Mul x0 Add Pow Mul x0 x0 3 exp x0 3 Mul -2 Add Mul x0 Add Pow Mul x0 x0 3 exp x0 Mul x0 Add Add Pow Mul x0 x0 3 exp x0 Mul x0 Add Mul Pow Mul x0 x0 2 Mul 3 Add x0 x0 exp x0 Pow Mul x0 Mul x0 Add Pow Mul x0 x0 3 exp x0 -2 