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