@robinhouston Given the "only used once" constraint, I wonder if a simple recursive approach, starting with the equations that use division and multiplication, would work.
@asmeurer My guess is that it would not, simply because the search space is so large, but if there are clever tricks to make it work I would be very very interested in seeing them