How do you solve 2cos^2x = sinx + 1 from [0,2pi]?