cos x + 2*cos² (x/2) = 1