sin x * cos x = 0.5, x