How do you solve #cos(1/2x)=-sqrt3/2#?