WolframAlpha computational knowledge AI
y=arccot x