How do you express sin x/2 in terms of cos x using the double angle identity?