How do you solve #cos x/2 - cosx=1#?