WolframAlpha computational knowledge AI
x^2+(x/(x+1))^2<1.25