I love Inigo’s work too!
Speaking of Graph Toy, I forked it and made a version which supports polar coordinates and which doesn’t require you to solve for y (for example, you can graph y^2+x^2=1):
https://memalign.github.io/m/formulagraph/index.html?f1(x,t)...