integrate (tanh z)^2*exp(-z^2/2)/sqrt(2*pi) from -inf to inf