Double-Exponential Function