Simplify Julia Expr with Symbolics.jl

General Usage
,
1

Hi,
Can we use Symbolics.jl to simplify Julia Expr directly? For example, simplifying :(a + b - a) to :(b)? Thank you.

3

No AFAIK. Reduce.jl has something like what you asked for, though it appears to be not actively maintained.

4

Thanks.