Mul Pow Mul Pow x0 Pow acsc Pow x1 x7 x3 x0 x6 E 
Mul E Mul Pow Mul Pow x0 Pow acsc Pow x1 x7 x3 x0 Add x6 -1 Mul x6 Add Mul x0 Mul Pow x0 Add Pow acsc Pow x1 x7 x3 -1 Pow acsc Pow x1 x7 x3 Pow x0 Pow acsc Pow x1 x7 x3 