cos(x)=1/sqrt(2)