# \[Symbolics.jl\] How to select between simplifier backends?

**URL:** <https://discourse.julialang.org/t/symbolics-jl-how-to-select-between-simplifier-backends/65973>\
**Category:** Modelling & Simulations\
**Created:** [August 7, 2021, 1:31am UTC](https://discourse.julialang.org/t/symbolics-jl-how-to-select-between-simplifier-backends/65973 "2021-08-07T01:31:40Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![Samuel\_Ainsworth](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/samuel_ainsworth/32/15644_2.png) [@Samuel\_Ainsworth](https://discourse.julialang.org/u/Samuel_Ainsworth)\
**Post date:** [August 7, 2021, 1:31am UTC](https://discourse.julialang.org/t/symbolics-jl-how-to-select-between-simplifier-backends/65973/1 "2021-08-07T01:31:40Z")

</div>

My understanding is that Symbolics.jl has multiple different simplifier backends (ref [Symbolics.jl - High performance symbolic numerics via multiple dispatch, Julia Computer Algebra - YouTube](https://www.youtube.com/watch?v=rFzWuXu7wFA)). But I haven’t been able to find a way to select which solver to use. Is this exposed in the API? How can I select which simplifier I’d like to be used?

---

<div class="post-metadata">

**Author:** ![ChrisRackauckas](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/chrisrackauckas/32/77_2.png) [@ChrisRackauckas](https://discourse.julialang.org/u/ChrisRackauckas)\
**Post date:** [August 7, 2021, 1:58pm UTC](https://discourse.julialang.org/t/symbolics-jl-how-to-select-between-simplifier-backends/65973/2 "2021-08-07T13:58:13Z")

</div>

Right now it’s very manual. It’s going to get easier soon though:

[https://github.com/JuliaSymbolics/Symbolics.jl/pull/286](https://github.com/JuliaSymbolics/Symbolics.jl/pull/286)