I'm talking about the official sb-gmp package:
https://github.com/sbcl/sbcl/tree/master/contrib/sb-gmp
You can enable it in fricas by:
)lisp (require :sb-gmp)
)lisp (SB-GMP:INSTALL-GMP-FUNS)
The test case I am profiling is:
)lisp (sb-sprof:start-profiling)
integrate(D((1+x^(2/3))^(1/3),x),x)
)lisp (progn (sb-sprof:stop-profiling) (sb-sprof:report))
By default, it takes 1326s, with sb-gmp, it takes 242s.
It seems that most time is spent in bignum gcd.
I'll take a deeper look to see if there are optimization
opportunities related with polynomials.
- Qian