Trigonometric reduction formulas

[parisse]

There is almost no support for degree in the CAS, you should always do *exact* trigonometric computations in radians. There are good reasons for that: radians is intrinsic (it's related to the length of the arc) and can be used inside complex exponentials ; derivation, integration, limits and series expansion are too much complicated in degrees.