Order of rules in Symbolics / SymbolicUtils

Yes. That’s always a quirk of rule-based simplifiers.

1 Like