Better handling of trigonometric integrals.
Authored by: whebisch 2011-06-15
Parent: [r1083]
Child: [r1085]