expreduce
expreduce copied to clipboard
Downvalue ordering occurs even when set explicitly
@CoryWalker In Mathematica, this ordering of literal vs non-literal patterns can't be overridden even by setting DownValues explicitly. The rule list will always be reordered by the system.