bmxam

I do have a similar failing example with `Symbolics v5.4.0`. I have used the `scalarize` trick found here https://github.com/JuliaSymbolics/Symbolics.jl/issues/580#issuecomment-1109988415. ```julia using Symbolics using LinearAlgebra @variables Ω[1:3] x[1:3] y[1:3] τ #...

Hi Benoît (and everyone), Now that the "antiderivative" PR has been merged in MultivariatePolynomials.jl, the present PR can be examined. Note that some unit tests are provided.