(y=x^2-2*x-7)&((x-1)^2=25-(y--3)^2)