# Show solver steps in Symbolics.jl

**URL:** <https://discourse.julialang.org/t/show-solver-steps-in-symbolics-jl/131851>\
**Category:** Modelling & Simulations\
**Created:** [August 26, 2025, 4:09am UTC](https://discourse.julialang.org/t/show-solver-steps-in-symbolics-jl/131851 "2025-08-26T04:09:49Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![HiramTheHero](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/hiramthehero/32/218391_2.png) [@HiramTheHero](https://discourse.julialang.org/u/HiramTheHero)\
**Post date:** [August 26, 2025, 4:09am UTC](https://discourse.julialang.org/t/show-solver-steps-in-symbolics-jl/131851/1 "2025-08-26T04:09:49Z")

</div>

Sorry if is this is a repeat post. I couldn’t find anything in the Symbolics.jl docs nor in some cursory Google searching.

I have the following code:

```julia-auto
using Symbolics, Nemo

@variables r P K

symbolic_solve(0 ~ r * P * (1 - (P / K)), P)

```

The output is:

```julia-auto
2-element Vector{Any}:
 K
 0

```

Is there anyway to show the steps (i.e. the transformations to the equation) the solver took to get those results? Thank you for your help!

---

<div class="post-metadata">

**Author:** ![ufechner7](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/ufechner7/32/51363_2.png) [@ufechner7](https://discourse.julialang.org/u/ufechner7)\
**Post date:** [August 26, 2025, 7:48am UTC](https://discourse.julialang.org/t/show-solver-steps-in-symbolics-jl/131851/2 "2025-08-26T07:48:08Z")

</div>

This would be a very useful feature. Perhaps you can create an issue in Symbolics.jl and mark it as feature request?

---

<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:** [August 26, 2025, 8:06am UTC](https://discourse.julialang.org/t/show-solver-steps-in-symbolics-jl/131851/3 "2025-08-26T08:06:42Z")

</div>

It’s a just quadratic equation in P. You won’t get “steps” for solving something like this in any CAS (like Mathematica or Maple). You’ll have more luck with LLMs.