WolframAlpha computational knowledge AI
|x+y|+|x-y|=2