Tarski%27s exponential function problem