How do you use the double angle or half angle formulas to simplify #6cos^2 x - 3#?