cos(x) -2cos(pi/4)=0