Re: [GiNaC-list] Complexity bounds on expression expansion