Does the order of the rules in Symbolics/SymbolicUtils matter when simplifying?
Yes. That’s always a quirk of rule-based simplifiers.
Does the order of the rules in Symbolics/SymbolicUtils matter when simplifying?
Yes. That’s always a quirk of rule-based simplifiers.