[GiNaC-devel] Symbolic Integration