Redirecting to Tarski's exponential function problem