By the way, the recurrence relation should be obvious:
\(
\begin{eqnarray}
T'(b, x)
& = & T(b, x)T'(b, x-1) \\
& = & T(b, x)T(b, x-1)T'(b, x-2) \\
& = & T(b, x)T(b, x-1)T(b, x-2)T'(b, x-3) \\
& = & T(b, x)T(b, x-1)T(b, x-2)T(b, x-3)T'(b, x-4)
\end{eqnarray}
\)
This process can be continued, so that you can find the derivative of the tetration over the entire domain, so long as you know the value of the tetration function and its derivative on the critical interval.
Edit: fixed typos (changed 2 to 3, 3 to 4, at end of least two equations).
\(
\begin{eqnarray}
T'(b, x)
& = & T(b, x)T'(b, x-1) \\
& = & T(b, x)T(b, x-1)T'(b, x-2) \\
& = & T(b, x)T(b, x-1)T(b, x-2)T'(b, x-3) \\
& = & T(b, x)T(b, x-1)T(b, x-2)T(b, x-3)T'(b, x-4)
\end{eqnarray}
\)
This process can be continued, so that you can find the derivative of the tetration over the entire domain, so long as you know the value of the tetration function and its derivative on the critical interval.
Edit: fixed typos (changed 2 to 3, 3 to 4, at end of least two equations).
~ Jay Daniel Fox
