lim_{z to i/2} ((3-sqrt(8)*cos(log(2)*z))*RiemannSiegelZ[z]^2)/(z+i/2)