integral of exp(-(sinh x)^2) from -inf to inf