[math-fun] Forget about runtimes longer than simple exponential