# 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:** 4

<div class="post-metadata">

**Author:** ![langestefan](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/langestefan/32/207923_2.png) [@langestefan](https://discourse.julialang.org/u/langestefan)\
**Post date:** [November 7, 2026, 10:35pm UTC](https://discourse.julialang.org/t/simplification-in-symbolics/142803/4 "2026-11-07T22:35:00Z")

</div>

I’m not sure Symbolics.jl is really setup for this kind of work but maybe @ChrisRackauckas or @cryptic.ax can comment on that. You can do a similar trick as [Symbolics.jl simplify exp(0) to 1 - #2 by langestefan](https://discourse.julialang.org/t/symbolics-jl-simplify-exp-0-to-1/135970/2)

```julia
julia> using Symbolics

julia> a = sqrt(Num(3))
sqrt(3)

julia> rules = RuleSet([@rule(~x / ~s => ~x * ~s / (~s)^2)])
SymbolicUtils.Rewriters.Walk

julia> simplify(a - 3/a, rewriter=rules)
0

```

Which works because this rule is built in:

```julia
julia> sqrt(Num(3))^2
3

```

---

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