[GiNaC-devel] symbolic integration.