Equation discovery with Bayesian tree-adjoining grammars · Bharat Hunt