diojit uses Julia as a JIT backend for Python via DIO.jl, so it’s doing something like Python → Julia → AST → IR, but I don’t think it’ll be particularly easy to add Symbolics.jl into the mix.