WolframAlpha computational knowledge AI
Diff(arccot(x),x)