Pow Mul Pow sec Mul x4 Mul E 2 x0 x0 x7 
Mul Pow Mul Pow sec Mul x4 Mul E 2 x0 x0 Add x7 -1 Mul x7 Add Mul x0 Mul Pow sec Mul x4 Mul E 2 Add x0 -1 Mul sec Mul x4 Mul E 2 log sec Mul x4 Mul E 2 Pow sec Mul x4 Mul E 2 x0 