[GiNaC-list] Symbolic integration of trigonometric functions