[GiNaC-devel] log(exp(Pi)) evaluates to Pi.