cos(arcsin(sqrt(2)/2))