Derived mean and variance of log-half-normal