WolframAlpha computational knowledge AI
f'(t)= a*(2^-f(t))