Mul Pow Pow Mul x5 16 exp x0 sec E x0 
Add Mul x0 Mul Pow Pow Mul x5 16 exp x0 Add sec E -1 Mul sec E Mul Pow Mul x5 16 Add exp x0 -1 Mul Mul Mul x5 16 log Mul x5 16 exp x0 Pow Pow Mul x5 16 exp x0 sec E 