How do you use the double angle or half angle formulas to simplify #6sin x cos x #?