random formula tree