Re: [GiNaC-devel] Conjugated cosh and sinh