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