WolframAlpha computational knowledge AI
atan(x)