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