Se $\cos x=\frac{1}{2}$, então o valor do $\cos 2x$ é igual a