Probabilistic enumeration and equivalence of nonisomorphic trees | Synapse