How do you use the double angle or half angle formulas to express sin x/2 in terms of cos x?