[GiNaC-list] Symbolic Differentiation