WolframAlpha computational knowledge AI
|x-0|^2>(2*1)^2