You've also done this choice of 1 before, and I'm not entirely sold that it can't be 0. You know there are non-zero coefficients (from the `if any(...)` above), so I'd feel like you could set the remaining free symbols to 0, which would likely give simpler solutions. What do you think? Have you seen any instances where setting coefficients to 0 gives trivial solutions?