How do you solve 2cos(2x+80)=1 for 0<=x<=pi?