WolframAlpha computational knowledge AI
x2+1x2-1  domain