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). 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?
Right now it’s very manual. It’s going to get easier soon though: