double exponential integration