# Simplification in Symbolics

**URL:** <https://discourse.julialang.org/t/simplification-in-symbolics/142803>\
**Category:** General Usage\
**Tags:** symbolics\
**Created:** [November 7, 2026, 7:39pm UTC](https://discourse.julialang.org/t/simplification-in-symbolics/142803 "2026-11-07T19:39:12Z")\
**Posts on this page:** 1\
**Showing post:** 8

<div class="post-metadata">

**Author:** ![Ay11](https://avatars.discourse-cdn.com/v4/letter/a/e95f7d/32.png) [@Ay11](https://discourse.julialang.org/u/Ay11)\
**Post date:** [November 8, 2026, 11:34am UTC](https://discourse.julialang.org/t/simplification-in-symbolics/142803/8 "2026-11-08T11:34:00Z")

</div>

The link to the SymJ.jl announcement (though not yet registered) by the author @j_verzani, is

> [@\[ANN\] GruntzLimit.jl, RischIntegrate.jl, RUBISymbolicIntegration.jl, SymJ.jl](https://discourse.julialang.org/t/ann-gruntzlimit-jl-rischintegrate-jl-rubisymbolicintegration-jl-symj-jl/140334):
>
> New packages, mostly generated with assistance from Claude. These started as an experiment to see how much work it would be to generalize SymbolicLimits.jl and SymbolicIntegration.jl beyond SymbolicUtils.jl to any symbolic type supporting just the TermInterface.jl contracts. GruntzLimits.jl has better coverage (it is on par with SymPy.jl and Giac.jl) and better performance than SymbolicLimits on SymbolicUtils types and, as the Expr type is supported in TermInterface.jl can be used with or witho…

---

_[View the full topic](https://discourse.julialang.org/t/simplification-in-symbolics/142803)._