cos 3x + sin 4x = cos x