Comparison of the Havriliak-Negami and stretched exponential functions