[GiNaC-list] implicit differentiation