stationary points of cos x with %7Cx%7C%3C10