When I learned the rule for differentiating a power, I actually understood why it worked. I'm not sure if it's the case for everybody. If it's not the case for everybody, I have a possible idea but it's only my theory. It's to change the entire education system to teach a whole lot less and have people discover things on their own based on what they were taught. That way, students will become smarter and know how to check things themselves with their smartness in an engineering job and not just put blind trust into rules they were taught always working. They may later encounter new and different formula that either are actually wrong or are liable to be misunderstood so I think it's good to get them into the habit of checking things on their own. Also, some people if they do just get taught how to do it without understanding and then later get an engineering job, even if the boss of that job knows that those formula are mathematically correct, that person might still refuse to put blind trust into using formulae they don't know how to prove are mathematically correct because they don't know that other people aren't making a mistake in thinking they're correct and will have to be respected for refusing to blindly apply formulae they don't know how to prove in the job.
Before that change is made, it will have to be really well researched exactly how the whole system and job market should change where a lot of knowledge moves to work place specific training. Finland has a really good education system so the Finish National Agency for Education might be able to help them with that research. Here's my possible idea which may need researching whether or not to do. I think a lot of students when they get taught that much end up learning less because the curriculum is too fast for them to follow so once we remove the need to be taught so much, they might end up learning more.
Here are some basics of how Polish notation works. To denote a sum of two expressions, you write + followed by each of those expressions but with spaces in between. Polish notation also expresses natural numbers in standard decimal notation with no spaces between the digits but spaces on both sides of the decimal notation. We could use a modified Polish notation that I invented. We could use ∅ to denote 0, S to denote the successor operation, and + to denote addition where once you've constructed a notation for a natural number, you can stick an S onto the beginning to denote its successor but without a space in between. Also, once you've constructed two notations for a natural number, you can use + followed by one of those expressions and then the other expression with no spaces in between to denote their sum. After learning just a few basics like the number 0 denoted ∅, the successor operation denoted S, and the addition operation denoted + and write it in Polish notation, the students can be left to do almost all play with very little teaching. Then they might discover what they're interested in discovering based on those basics and become really smart, but they will also have the right idea of how natural numbers work because there's no dispute about how they work. Also by using Polish notation, the notation is already unambiguous and already has no brackets so the're no need to learn PEDMAS and the time can instead be used to teach something else.
Also, we could switch to senary notation but wait until way later to teach it when they can actually learn it more efficiently. They could be taught that the senary notation of a number is the string of characters that describes the method of getting to that number by starting from 0 and then applying a series of operations each of which is of the form of left multiplying by 6 then left adding a number from 0 to 5. So the senary notation for 95 would be +SSSSS∅×SSSSSS∅+SSS∅×SSSSSS∅+SS∅×SSSSSS∅∅. I think senary is the base that people should use because it makes it easy for students to teach themselves how to find the quotient and remainder of any division problem because it has such a simple single digit multiplication table because every natural number from 1 to half of 6 is a factor of 6. They probably should not even be given the single digit multiplication table and instead be left to completely teach themselves how to find the quotient and remainder in senary, and they will realize that some of the steps are to mentally compute the product of two single digit numbers all on their own without ever having seen a multiplication table. Here, the problem will be considered entirely a problem about pure number theory because they have not yet been taught how to compute a division problem between natural numbers and give the answer as a non whole number in mixed fraction notation. Maybe way later after they've got losts of experience performing calculations in senary notation, then they could be taught that
- the character 0 is short hand for +∅×SSSSSS∅
- 1 is short hand for +S∅×SSSSSS∅
- 2 is short hand for +SS∅×SSSSSS∅
- 3 is short hand for +SSS∅×SSSSSS∅
- 4 is short hand for +SSSS∅×SSSSSS∅ and
- 5 is short hand for +SSSSS∅×SSSSSS∅
Then the compact senary notation for 95 would be 532∅. I know the digits appear in backwards order from conventional senary notation but I think it's worth it for the new school kids in order to define a digit as an operation and have it proceed the operand. If they're introduced to it too early, they might forget how they're really performing calculations in senary and adopt an autopilot method of performing them that they find so intuitive and can't figure out how to break down further. Also by convention, those digits should strictly be used to denote an operation of multiplying by 6 then adding a number and not to denote an operation of multiplying by 10 and then adding a number because it might be confusing having multiple meanings. The convention should be that you use decimal when writing numbers the normal way and senary when using digits to denote operations in modified Polish notation. Then the switch to senary will occur at the same time as the switch to modified Polish notation. If somebody wants to use another base like quinary, they should write it as a long string of characters which really is a valid notation for that number instead of using a digit to represent a different operation than it really means. So it's correct to denote 95 as +∅×SSSSS∅+SSSS∅×SSSSS∅+SSS∅×SSSSS∅∅ but it's not correct to denote 95 as 043∅.
Later when they're a lot smarter and can learn it better, maybe they could be introduced to the negative numbers and even later to all the real numbers, but probably should not be left to discover properties all on their own because they might get the wrong idea of how real numbers work. Instead, the teacher could construct the dyadic rational numbers, the numbers that have a terminating notation in binary except that they don't actually introduce the binary decimal expansion, and then the rest of the real numbers from those Dedekind cuts of the dyadic rational numbers where the lower part has no maximal element nor does the higher part have a minimal element. According to https://nrich.maths.org/2550, students work well with halves.
By the time they start taking calculus and already know how the real numbers work, I think they can be taught to teach themselves Calculus. It might actually be better for them to teach themselves because they might become smarter in the long run as a result. They should probably just about once a month be given some homework problems and be given a whole month to complete them so that they will have more than enough time to teach themselves Calculus.
They could be told just a few basic laws such as $\forall a \in \mathbb{R}\forall b \in \mathbb{R}\forall c \in \mathbb{R}$, if $a$ is positive, then $a^{b + c} = a^b \times a^c$ and exponentation to a natural number exponent is iterated multiplication where 1 is the empty product and exponentation is continuous. The criterion that exponentation is continuous allows you to evaluate a positive number raised to an irrational power. They could also be taught that a logarithm is the inverse of a left exponentation and a root is the inverse of a right exponentation such as taking the third power. They could be taught using a student centered approach until they understand the basics and then guided to figure out other properties all on their own without being told what they are such as $\forall a \in \mathbb{R}\forall b \in \mathbb{R}\forall c \in \mathbb{R}$, if $a$ is positive, then $(a^b)^c = a^{b \times c}$. After they get taught what a derivative is, then they could be told that $e$ is defined to be the number such that $\frac{d}{dx}e^x = e^x$. Then they could be left to teach themselves how to differentiate any function that can be gotten from the functions they were already introduced to.
Maybe schools could get students to teach themselves how to differentiate any function that can be gotten from the functions they know how to differentiate by giving them one homework problem for every 3 school days. For example, their first homework problem could be to differentiate $e^{e^x}$. Then they'll teach themselves the rule for differentiating a composition. Next, they could be asked to differentiate $\ln x$, then they will teach themselves the rule for differentiating an inverse. Next, they could be given the problem of differentiating $x^{2.5}$ and $2^x$ and told that it will not be for 6 school days that they are given more homework problems. Then they'll figure out that they can do that by expressing $x^{2.5}$ as $e^{\ln x \times 2.5}$ and $2^x$ as $e^{\ln 2 \times x}$. 6 days later, they could be asked to differentiate $(x^2 + 1)^{x^3}$. Then they'll teach themselves that for any binary operation, if you know how to differentiate any expression of the form of that binary operation on two seperate operands where one operand of that binary operation is constant and the other operand is a function you already know how to differentiate, then you use the rule for differentiating the expression treating one operand as constant and then the rule for differenting while treating the other operand as constant and then add the two results to get the derivative of the whole expression. 3 days later, they could be asked to differentiate a product and they'll see that they can do it by using the general rule for differentiating a binary operation. Next, they one possible idea of what they could be asked is to differentiate $\log_x2$. Then they'll figure out to use the general binary operation rule in reverse. Then they'll figure out that $\frac{d}{dx}x^{\log_x2} = \frac{d}{dx}2 = 0$ but also $\frac{d}{dx}x^{\log_x2} = x^{\log_x2}\ln x(\frac{d}{dx}\log_{x}2) + \log_{x}2(x^{\log_{x}2 - 1})$ so $\frac{d}{dx}x^{\log_x2} = x^{\log_x2}\ln x(\frac{d}{dx}\log_{x}2) + \log_{x}2(x^{\log_{x}2 - 1}) = 0$. Then they can use that equation to solve for $\frac{d}{dx}\log_x2$.
Unfortunately, that doesn't force them to use the binary operation rule in reverse because that's not the only way because $\log_x2$ can also be expressed as $\frac{1}{\log_2x}$. I haven't researched enough but one possible idea is to introduce tetration to real heights. According to the Complex heights section of the Wikipedia article Tetration, one such way was proposed. Then when they're asked to differentiate, the teacher will have to be clear what forms students are allowed to write the derivative of a function as because once tetration is introduced, the derivative of any right tetration or left tetration operation probably still cannot be expressed in terms of functions the students were introduced to before. The super root of $a$ to the base $b$ is the number $c$ such that $b$ tetrated to $c$ is $a$. Maybe they could specifically introduce two other binary operations. One assigns to each pair of numbers the derivative of left tetration by the first part of the pair applied to the second part. The other assigns to each pair the derivative of right tetration by the second part of the pair applied to the first part. Then they could be asked to express the derivative of the super root of 2 to the base $x$ in terms of all the functions they were already introduced to and their inverses. In that case, using the binary operation rule in reverse is probably the only way. I'm not sure if it's worth introducing tetration so that students can be given a differentiation problem where using the binary operation rule in reverse is the only way and then they'll keep thinking until they come up with the idea of using the binary operation rule in reverse all on their own.
The article Teaching Is not Learning — The Guided Discovery Approach for Learning seems to support my idea that discovery learning could work so well.
Update: My opinion has changed. Modified Polish notation should use octal, not senary, because 8 is a power of 2. I don't like hexadecimal as much because its single digit multiplication table is so large. I want the system of all notations that can be expressed using the characters ∅, S, and +, to be one of the first things the students get taught and after that, I want the associative law of natural number addition to be demonstrated in an engaging way. After that, I want them to be left to do almost almost all play for a really long time and nudged to do very general thinking about number theory. Study of prime numbers will probably naturally be extremely little on their mind so there's no need to use senary for the purpose of prime numbers. The idea of computing the binary notation of a natural number or something like that will probably come naturally, and some study of properties of the binary notation will probably also come naturally, and I don't want to divert attention away from that study by using senary instead of octal. The Schönhage–Strassen algorithm is a really fast multiplication algorithm. As a result of that study, they may eventually come up with something like the Schönhage–Strassen algorithm for octal all on their own. However, the Schönhage–Strassen algorithm should not be introduced to them in school. When they're given homework problems, they should be infrequent so that they can explore each question in great depth, and they should be left to figure out the answer all on their own. Then they will come up with their own method. Introducing them to the Schönhage–Strassen algorithm will get them blindly following the rules they're taught instead of getting them to think for themselves how to figure out the answer to a problem.