WolframAlpha computational knowledge AI
y=pi/2-atan(x)-atan(1/x)