WolframAlpha computational knowledge AI
diff(cot(xy), y)