Commutative functions are scarce. You can rely on having transitive functions, but not commutative ones and frankly, there aren't that many useful commutative functions possible.
Yes, ordering matters, but if you cannot force ordering by protocol or by the types used, then the result is going to be non-deterministic by definition, which means it's not referentially transparent.
If the functions aren't commutative, function order definitely matters!