Exponential time and implicit graphs