I don't understand this. You discard "incomplete" radical removals (where we stoped b/c too many terms) b/c they might be wrong, but keep them if we complete the process? Why does that make sense?

Isn't the issue here multiplication by 0/0, which is avoided using the `Symbolic=False` switch?

But actually, this does not even contain symbols. I suppose we treat r effectively as one?