Double exponential time