# Simplify Julia Expr with Symbolics.jl

**URL:** <https://discourse.julialang.org/t/simplify-julia-expr-with-symbolics-jl/110094>\
**Category:** General Usage\
**Tags:** question, symbolics\
**Created:** [February 12, 2024, 10:43am UTC](https://discourse.julialang.org/t/simplify-julia-expr-with-symbolics-jl/110094 "2024-02-12T10:43:05Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![VPBML](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/vpbml/32/212617_2.png) [@VPBML](https://discourse.julialang.org/u/VPBML)\
**Post date:** [February 12, 2024, 10:43am UTC](https://discourse.julialang.org/t/simplify-julia-expr-with-symbolics-jl/110094/1 "2024-02-12T10:43:05Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![greatpet](https://avatars.discourse-cdn.com/v4/letter/g/e495f1/32.png) [@greatpet](https://discourse.julialang.org/u/greatpet)\
**Post date:** [February 12, 2024, 3:05pm UTC](https://discourse.julialang.org/t/simplify-julia-expr-with-symbolics-jl/110094/3 "2024-02-12T15:05:47Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![VPBML](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/vpbml/32/212617_2.png) [@VPBML](https://discourse.julialang.org/u/VPBML)\
**Post date:** [February 25, 2024, 9:52pm UTC](https://discourse.julialang.org/t/simplify-julia-expr-with-symbolics-jl/110094/4 "2024-02-25T21:52:23Z")

</div>

Thanks.