Benchmarking Symbolics.jl against SymEngine.jl

I finally found time to benchmark the Symbolics.jl against SymEngine.jl. Here are the results:

Am I doing anything wrong with how I run them? So far on my computer Symbolics.jl seems slower. I want to make sure that I am benchmarking it correctly. Thanks for any tips. I tried both Julia 1.8 and 1.9.3. Both global scope and inside a function.


Hi! This is good to know. Is expand the only thing you’re benchmarking?

Most of expand is spent in DynamicPolynomials.jl, there are faster alternatives we could use however. AbstractAlgebra.jl could be faster, but needs more code to convert into. Cc @blegat

Not sure why AbstractAlgebra would be faster. It’s a similar datastructure. Are they using another algorithm?

Maybe using MutableArithmetics to save allocation or switch to TypedPolynomials could help

IIRC AbstractAlgebra uses a representation where there are a fixed number of possible variables, and if I’m right, they map each one to an integer, and represent the monomials as a matrix of exponents.

julia> using AbstractAlgebra

julia> R, (x, y, z) = polynomial_ring(ZZ, ["x", "y", "z"])
(Multivariate polynomial ring in 3 variables over integers, AbstractAlgebra.Generic.MPoly{BigInt}[x, y, z])

julia> f = x + y + z + 1
x + y + z + 1

julia> p = f^20;

julia> @time q = p*(p+1);
  0.510858 seconds (15.66 M allocations: 294.774 MiB, 28.83% gc time)

# Same thing with DynamicPolynomials:

julia> @time p*(p+1);
 16.334984 seconds (3.14 M allocations: 335.826 MiB, 0.54% gc time)
julia> p.x
1771-element MonomialVector{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}:

# vs.
# AbstractAlgebra:

julia> p.exps
3×1771 Matrix{UInt64}:
 0x0000000000000000  …  0x0000000000000000
 0x0000000000000000     0x0000000000000000
 0x0000000000000014     0x0000000000000000

Oh not bad, TypedPolynomials beats AbstractAlgebra:

f = x + y + z + 1

p = f^20;

@time q = p*(p+1);
  0.279255 seconds (23 allocations: 242.545 MiB)

We have to be very careful about compile time in Symbolics though, so it might make sense to allow switching between the two with Typed being the default.

But it’s till way behind SymEngine :smile:

We can do other benchmarks too, we have quite a few here:, I just started with the above. If you agree that the speed that I got is accurate, we can move to other benchmarks. I just wasn’t sure if I am doing something wrong, or not.

Here is a simple differentiation benchmark: Benchmarks against Symbolics.jl · Issue #1973 · symengine/symengine · GitHub

1 Like

We could switch to a Matrix representation for DynamicPolynomials, it shouldn’t be too hard.
However, I would use the transpose of what AbstractAlgebra does I think, so that the exponents of the same monomials are contiguous in memory.
One thing that is would be annoying is that you can’t push a new term at the end anymore since I never found how to append a new column inplace for a Julia Matrix. Do you know a way ?