[GiNaC-devel] Fwd: Symbolic integration of trigonometric functions