Numerical quadrature of functions of one variable over a finite or infinite interval with double exponential formulas.