Mul sec Mul x0 Pow Mul cos x0 x1 x5 E 
Mul E Mul Mul tan Mul x0 Pow Mul cos x0 x1 x5 sec Mul x0 Pow Mul cos x0 x1 x5 Add Pow Mul cos x0 x1 x5 Mul x0 Mul Pow Mul cos x0 x1 Add x5 -1 Mul x5 Mul x1 Mul -1 sin x0 