2 cos 3x cos x