WolframAlpha computational knowledge AI
Diff(arctan,x)