Double Angle Identities Proof, Simplify cos 2 t cos (t) sin (t).