# \[ANN\] SymbolicIntegration.jl - indefinite integration with Symbolics.jl symbols

**URL:** <https://discourse.julialang.org/t/ann-symbolicintegration-jl-indefinite-integration-with-symbolics-jl-symbols/134777>\
**Category:** Package Announcements\
**Tags:** integral, symbolics, symbolic-utils\
**Created:** [December 28, 2025, 10:34pm UTC](https://discourse.julialang.org/t/ann-symbolicintegration-jl-indefinite-integration-with-symbolics-jl-symbols/134777 "2025-12-28T22:34:38Z")\
**Posts on this page:** 1\
**Showing post:** 8

<div class="post-metadata">

**Author:** ![CiccioPasticcio](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/cicciopasticcio/32/215909_2.png) [@CiccioPasticcio](https://discourse.julialang.org/u/CiccioPasticcio)\
**Post date:** [December 29, 2025, 11:31pm UTC](https://discourse.julialang.org/t/ann-symbolicintegration-jl-indefinite-integration-with-symbolics-jl-symbols/134777/8 "2025-12-29T23:31:11Z")

</div>

Exactly, you got the point! The translation was definitely not straightforward, yes I extended SymbolicUtils pattern matching this summer, creating the “defslots” that allow to match a pattern with some default values, and improving the handling of commutative pattern matching. Also I improved pattern matching of powers with negative exponents, that was quite difficult and still not completely solved. [Here](https://github.com/Bumblebee00/SymbolicIntegration.jl/blob/main/GSoCfinalReport_MattiaMichelettaMerlin.md) you can read in more detail.

On top of that the old SymbolicUtils pattern matching was too slow to handle the thousands of rules I needed, so in the last weeks I rebuilt it from scratch improving ttfx from 14 min to 12 sec! I am so happy about it, [on my blog post](https://mmm3.it/symbolicintegrationupdate_en.html) you can read in more detail

---

_[View the full topic](https://discourse.julialang.org/t/ann-symbolicintegration-jl-indefinite-integration-with-symbolics-jl-symbols/134777)._