WolframAlpha computational knowledge AI
differentiate arcos[(1-x^2)/(1+x^2)] - 2 arctan(x)