WolframAlpha computational knowledge AI
f'(x) = a f(x)