Mul sec Mul x0 Mul 0.0993279274194332 x0 x0 
Add Mul x0 Mul Mul tan Mul x0 Mul 0.0993279274194332 x0 sec Mul x0 Mul 0.0993279274194332 x0 Add Mul 0.0993279274194332 x0 Mul x0 0.0993279274194332 sec Mul x0 Mul 0.0993279274194332 x0 