cos(pi/4-x)=1