4 cos x