WolframAlpha computational knowledge AI
(cotg x - 1)'