Symbolic operation functions, including simplifier, symbolic match functions and rule based simplifier generator. - View it on GitHub