How do you solve -cosx=1+2cos(x-pi)?