2cos^2(x)-2cos(x)+sqrt(2)-1=0