WolframAlpha computational knowledge AI
d/dt ln (4+t^3)