SymbolicUtils (julia): Expression rewriting and simplification
Keywords: pattern-matching|symbolic-math|julia|symbolic-manipulation