WolframAlpha computational knowledge AI
differentiate erf(t)^2 wrt t