|\cos(x)|=\frac 1{\sqrt{2}}.