Se cos x = 1/2, então o valor do cos 2x é igual a