WolframAlpha computational knowledge AI
reflect x^2+y^2=1 about y=x+1