[GiNaC-devel] Symbolic integration of trigonometric functions