WolframAlpha computational knowledge AI
arctan(1)+arctan(2)