Equation discovery with Bayesian tree-adjoining grammars | TickerVault