Prune math/sdpa-gmp