[GiNaC-list] Question regarding symbolic differentiation