> imho this is not at all a duplicate, because the other question does
> not address the "recursive" case $T(d,n) = ....T(d-1,T(d-1,n))....$,
> which appears to be part of the Taylor expansion of this function.
> Also I don't know how to write this as a Taylor expansion. If I would,
> I would still not know how to solve this specific instance.

Consider the following function. Maybe it could be more efficient, but I'm only interested in the output value, not the runtime complexity. All variables are whole numbers.

    function branch(currentDepth, maxDepth, n, k) {
        if (currentDepth == maxDepth) {
            return n;
        }
        sum = 0;
        for (i=0; i<=k; i++) {
            tmpN = branch(currentDepth+1, maxDepth, n, i);
            sum += branch(currentDepth+1, maxDepth, tmpN, k-i);
        }
        return sum;
    }
For $2 < k << n$ and $2 < d = O(\log n)$, is there a formula in terms of $d$, $k$ and $n$ (either exact, big-O or Theta), that predicts the output for

    branch(0, d, n, k);

Will it be exponential in $n$? Can we maybe solve this for small $k$? ($k\le7$).

Application: the output value is a factor of the runtime complexity of a Fixed Parameter algorithm I made up, but I don't think it will beat existing algorithms. However I still wanted this solved.