This has to do with how implicit_plot works.
That is why implicit_plot does not work when you take the square of the expression, as the zero locus no longer corresponds to a sign change.