WolframAlpha computational knowledge AI
integrate (arctan(x))