\cos x \sin x = 0