sqrt{3} cos x - 3 sin x = 4 sin 2x cos 3x