The way I understand SymbolicUtils.jl is that it comes with a basic set of rewriting rules for symbolic expressions, and any other rulesets you want you must provide yourself. For example, you will need to write your own rules for trig identity simplifications.
I’m wondering, has anyone already written rulesets for other classes of common simplifcations? e.g. rulesets for common trig identities, exponent rules, hyperbolic functions etc. A package of common function simplifications would be very handy for me.
Thanks!