Simplifying Products of Binomials Involving Trigonometric Functions, Ex 1