Mul sec sec Mul Mul 4 x0 x0 Mul x0 x1 
Add Mul Mul x0 x1 Mul Mul tan sec Mul Mul 4 x0 x0 sec sec Mul Mul 4 x0 x0 Mul Mul tan Mul Mul 4 x0 x0 sec Mul Mul 4 x0 x0 Add Mul x0 4 Mul 4 x0 Mul sec sec Mul Mul 4 x0 x0 x1 