> you can remove higher order infinitesimals, like (dx)^2, when computing things like derivatives

I always found that iffy and a bit of a (completely legal) hack. It's a nice point that what enables this hack is promptly leaving the world of infinitesimals and retreating back to reals.