Constraint-Guided Symbolic Regression for Data-Efficient Kinetic Model Discovery | Arena Library | Arena