Double exponential integration