WolframAlpha computational knowledge AI
derivative of arctanx at x=0