Pow Mul Mul Mul -3 x0 x2 Mul Add x2 x0 Add x0 Mul x0 -3 asech x6 
Mul Pow Mul Mul Mul -3 x0 x2 Mul Add x2 x0 Add x0 Mul x0 -3 Add asech x6 -1 Mul asech x6 Add Mul Mul Add x2 x0 Add x0 Mul x0 -3 Mul x2 -3 Mul Mul Mul -3 x0 x2 Add Add x0 Mul x0 -3 Mul Add x2 x0 2 