(1 -cos a/2)*(1+cos a/2)

...=1 - cos^2(a/2) = sin^2(a/2).
1-2*sin^2(a/2) = cos(a),
sin^2(a/2) = (1-cos(a))/2