A limit law for outputs in random recursive circuits

We study the structure of uniform random binary recursive circuits. We show that a suitably normalized version of the number of outputs converges in d istribution to a normal random variate. We also discuss the connection of t he number of outputs to a non-classical urn model, and our investigation pr ovides a first solved instance of this new class of urns.