[GiNaC-list] Symbolic computation and derivatives