WolframAlpha computational knowledge AI
integrate cot x dx