Presumably, Desmos uses the marching squares algorithm to plot graphs of implicit functions like this.