I think this is not perfect. Education is more of "progressing towards lesser and lesser lies", and changing definitions is an important part. The student might face it when he'll wonder about equation sin x = 2 , which will get to complex numbers.
Similarly, here getting a one less power of x might correspond to "divide by x". But might sometimes not - choosing that it actually does correspond to "divide by x" is a choice. Often obvious, but sometimes not - which is seen in Gelfand's explanation of why "negative multiplied by negative makes positive", or similarly, why 0^0 is 1.
Just saying that "x to one lesser power is the same divided by x" can also be seen as a convention (e.g. for some objects division can be not defined). And if it's a convention, not universal truth... then to somebody who's studying the subject this convention should be justified.
I quickly figured out that even if I've deeply spent time with a subject, understanding every step and derivation of some equation, if I can just quickly pop up equations (and other facts) in my head to "look" at them, it not only helps with application, but also with further understanding.
Being able to quickly recite the Taylor Series or an Inverse Fourier Transform in my head to apply in a problem beats stuff like "oh I remember understanding how it was derived, but I'd need to look it up", because all the details I otherwise once understood but did not bother memorizing might be important.
Most kids in the US are historically taught memorization tricks. You have a kid who can't recall if x^1 = 0 or 1 or if it was x^0 = 1 or 0. They can't _remember_ some fact like a needle in a haystack of thoughts. However, the student who understands that x^3 = x * x * x and x^2 = x * x, will quickly know that x^1 must be x, and if each step is "divide by x", then x^0 must be 1.
I'm curious where the current math education trends will take us on this path, but I do like that they seem to focus more on understanding rather than rote memorization.
For sin, cos, and tan, they are much more re-discoverable if you are familiar with the unit circle's basics.
[0]: https://www.maa.org/sites/default/files/pdf/devlin/Lockharts...