cos 4x - cos 2x = 4 sin x