I'm glad you posted that VonNemo19 because this is the issue I was referring to.
From my understanding, "dx" can mean a number of things in different contexts and there is dispute with these as well.
"dx" is first used with limits, like you said, and has the idea of meaning instantaneous change as well as an infinitely small value. When showing the notation dy/dx for a derivative though, I have not seen any textbooks do more than just show that this notation is convention. What I mean is that the idea of dy and dx being independent things is not addressed and they only have meaning when grouped together this way.
Later on the chain rule gets discussed and it seems that these work like fractions and can cancel with normal algebra rules. This isn't always true though and there is a semi-famous example where the result of three derivatives multiplied is -1, when it appears to be 1 by cancellation.
Then with integrals we see dx again, but it seems to be simply notation. Having the dx on the end of every integral doesn't literally mean multiply as it would normally. The same idea of it is the same, but it's derived in a different way than the derivative is.
Then you have differentials like

where again normal algebra rules seem to apply. Differential equations separate variables in the same way, but if you use alternate notation this problem doesn't arise.

for example could be written as

.
Then apparently in advanced geometry these differentials are used much more rigorously, but I don't know enough to comment.
My main point is that the notation dx and dy, and others, are presented as notation for specific things but they aren't rigorously defined and it's a huge assumption to apply all algebra rules to them. Often it doesn't matter, but doing so is missing concepts in my opinion.
I have been reading about this issue for a little while but am not saying I am 100% right on everything. I would love to hear from our more advanced posters on this issue.