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