Solve for x 2+2cos(x)=0