WolframAlpha computational knowledge AI
arccot(x) - arctan(1/x)