cos(x)=sqrt(2)/2