How do you verify the identity #cos(pi/3+x)+cos(pi/3-x)=cosx#?