Tetration rule for differentiation. For the people who doesn't know what tetration is:-
$^na=\begin{cases}1&\text{if}\,n=0\\a^{a^{.^{.^{.^{a}}}}}&\text{if}\,n\in\mathbb{N}\end{cases}$
There are $n$ a's in that power tower.
And also see the wikipedia page  on tetration.

We all know about the power rule for differentiation-
$\frac{dx^n}{dx}=nx^{n-1}$
So I started thinking about a formula for the tetration rule for differentiation
And here's what I did:-
I didn't really used any clever tricks from advanced mathematics, I just tried to find formulas like a layperson.
Recurrence formula:-
We knew that-
$^nx=x^{(^{n-1}x)}$
$=e^{^{n-1}x\ln(x)}$
We can use this property of tetration to get a recurrence relation, derivative of the $^nx$ based on the derivative of $^{n-1}x$.
$\frac{d}{dx}(^nx)$
$=\frac{d(e^{^{n-1}x\ln(x)})}{dx}$
$$\fbox{$\frac{d}{dx}(^nx)$
$={^nx}(\frac{^{n-1}x}{x}+\ln(x)\frac{d}{dx}(^{n-1}x))$}$$
Explicit formula:-
Instead using a clever way to find an explicit formula, I just expanded out the expression and found a pattern.
$\frac{d}{dx}(^nx)$
$=\frac{{^nx}{^{n-1}x}}{x}+{^nx}\ln(x)\frac{d}{dx}(^{n-1}x)$
$=\frac{{^nx}{^{n-1}x}}{x}+\ln(x)\frac{{^nx}{^{n-1}x}{^{n-2}x}}{x}+\ln^2(x){^nx}{^{n-1}x}\frac{d}{dx}(^{n-2}x)$
$=\frac{{^nx}{^{n-1}x}}{x}$ $+\ln(x)\frac{{^nx}{^{n-1}x}{^{n-2}x}}{x}$ $+\ln^2(x)\frac{{^nx}{^{n-1}x}{^{n-2}x}{^{n-3}x}}{x}$ $+\ln^3(x){^nx}{^{n-1}x}{^{n-2}x}\frac{d}{dx}(^{n-3}x)$
$\vdots$
Well obviously we can't continue this process forever, so how many should we do this process?
At the $1st$ step in the formula the term inside the derivative was $^{n-1}x$
So in the $n'th$ step, the term inside the derivative will be $^{n-n}x={^0x}=1$, so it's derivative will be $0$. So the whole last term will vanish.
So instead of repeating this process $n$ times, we have to repeat it $n-1$ times.
Finally the formula is
$\frac{d}{dx}(^nx)$
$=\ln^0(x)\frac{{^nx}{^{n-1}x}}{x}+\ln(x)\frac{{^nx}{^{n-1}x}{^{n-2}x}}{x}+\cdots+\ln^{n-1}(x)\frac{{^nx}\cdots{^2x}}{x}$
$$\fbox{$\frac{d}{dx}(^nx)=\frac{1}{x}\sum_{k=0}^{n-1}(\ln^k(x)\prod_{j=0}^{k-1}{^{n-j}x})$}$$
Questions:-
I have just two questions.
$(1)$ Is my derivation correct?
$(2)$ I derived the formulas in the stupid way. So can we derive these formulas in the clever way? And what are those formulas?
 A: The mathematical problem itself has other solutions here: $n^{th}$ derivative of a tetration function and here: Derivation of tetration by iteration.
Tetration with fixed height $n$ is an elementary function (differential algebra). The elementary functions are analytic almost everywhere. They are closed regarding differentiation. Therefore differentiability is given almost everywhere here.
(1)
Your differential equations seem to be correct. But your explicit formula seems to be wrong. It already doesn't work for $n=1$: I get $(^1x)′=\frac{1}{x}$, but it should be $1$.
I found a correction of your equation:
$$\frac{d}{dx}\left(^nx\right)=\frac{1}{x}\sum_{k=0}^{n-1}\left(\ln^k(x)\prod_{j=n-k-1}^n{}^jx\right)\tag{1}$$
So we found a further formula.
(2)
You derived the formula by guessing. Verification by a proof is still missing.
There are several ways to get identities and generating functions as explicit or recurrence equations, e.g. series methods combined with summation methods. Applying the chain rule of differentiation could also be possible.
Applying the chain rule of differentiation to the exp-ln-form of $^nx$ yields equation (1) in a systematic way without guessing.
All derivatives of an elementary function are elementary functions. Each elementary function can be represented by applying finite numbers of only elementary functions. Therefore a generating function in this form should be possible, and your formula has this form.
