How do you solve #cos(x+pi/3)+cos(x-pi/3)=1#?