WolframAlpha computational knowledge AI
D(cot(x),x)