Double exponential formulas for numerical integration

Double exponential formulas for numerical integration