Mul sec Mul x0 Pow Mul Pow x0 x2 -4 x2 x2 
Mul x2 Mul Mul tan Mul x0 Pow Mul Pow x0 x2 -4 x2 sec Mul x0 Pow Mul Pow x0 x2 -4 x2 Add Pow Mul Pow x0 x2 -4 x2 Mul x0 Mul Pow Mul Pow x0 x2 -4 Add x2 -1 Mul x2 Mul -4 Mul Pow x0 Add x2 -1 x2 