%I #23 Feb 16 2025 08:34:04
%S 1,1,9,121,2417,64721,2180665,88719625,4233968737,231991022881,
%T 14356691152361,990506937621785,75390334060230865,6275675303410022641,
%U 567191776288882702105,55313848534122299876521,5789703106014903009828545,647414950001156861671249985
%N E.g.f. satisfies A(x) = exp( x * ( exp(x) * A(x) )^2 ).
%H Seiichi Manyama, <a href="/A360547/b360547.txt">Table of n, a(n) for n = 0..339</a>
%H Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/LambertW-Function.html">Lambert W-Function</a>.
%F E.g.f.: A(x) = exp( (-1/2) * LambertW(-2*x * exp(2*x)) ).
%F E.g.f.: A(x) = sqrt( -LambertW(-2*x * exp(2*x)) / (2*x * exp(2*x)) ).
%F E.g.f.: A(x) = sqrt( Sum_{k>=0} (k+1)^(k-1) * (2*x * exp(2*x))^k / k! ).
%F a(n) = Sum_{k=0..n} (2*k)^(n-k) * (2*k+1)^(k-1) * binomial(n,k).
%F a(n) ~ sqrt(1 + LambertW(exp(-1))) * 2^(n-1) * n^(n-1) / (exp(n - 1/2) * LambertW(exp(-1))^n). - _Vaclav Kotesovec_, Feb 17 2023
%t nmax = 20; A[_] = 1;
%t Do[A[x_] = Exp[x*(Exp[x]*A[x])^2] + O[x]^(nmax+1) // Normal, {nmax}];
%t CoefficientList[A[x], x]*Range[0, nmax]! (* _Jean-François Alcover_, Mar 04 2024 *)
%o (PARI) my(N=20, x='x+O('x^N)); Vec(serlaplace(exp(-lambertw(-2*x*exp(2*x))/2)))
%o (PARI) my(N=20, x='x+O('x^N)); Vec(serlaplace(sqrt(-lambertw(-2*x*exp(2*x))/(2*x*exp(2*x)))))
%o (PARI) my(N=20, x='x+O('x^N)); Vec(serlaplace(sqrt(sum(k=0, N, (k+1)^(k-1)*(2*x*exp(2*x))^k/k!))))
%o (PARI) a(n) = sum(k=0, n, (2*k)^(n-k)*(2*k+1)^(k-1)*binomial(n, k));
%Y Cf. A273953, A273954, A360544.
%Y Cf. A360465, A360473.
%K nonn,changed
%O 0,3
%A _Seiichi Manyama_, Feb 11 2023