[GiNaC-list] psi (digamma) solving