WolframAlpha computational knowledge AI
(x-1)sqrt(x^2+y^2-3)=0