cos (x/2) = sin x