I wish Symbloics.jl ‘s rewriting/simplification rules were as good as SymPy’s/Matlab’s. The composability of the Julia ecosystem would be really great for symbolic math