If cosx = 1/2 what is cos 2x?