Re: [GiNaC-devel] New bug in symmetrization?