WolframAlpha computational knowledge AI
int sqrt{1 + t^2}