cos(x) + sin(x/2)*sin(x/2) = cos(x/2)