Also, why not use the Julia-native Symbolics.jl (https://github.com/JuliaSymbolics/Symbolics.jl) instead of SymPy (Symbolic Python)?

Like everything else about native Julia alternatives to popular libraries, vendor lock-in is strong.