random_subtree() in formula
random trails in Formulas; editing subtrees
Subtree regeneration
memoization cache hit counter