Double_exponential_function