Is your project limited in scope to physics equations? The coefficient snapping is interesting, but seems like it would not work well for problems like predator-prey (https://en.wikipedia.org/wiki/Lotka%E2%80%93Volterra_equatio...). I mainly worked with biology and life-sciences data. (real-world, separate from the synthetic benchmark data)

I introduced a new type of "constant" for well known values like this that sit between measured data and free parameters. I think I had some idea similar to your snapping, i.e. to look for places where free parameters could be replaced with const, but multiples of them was not part of that.