discriminant[(x-t)^2+(y-t^2)^2-1, t]