It shouldn't be too hard to implement, though, you just need to implement the series expansions given at http://en.wikipedia.org/wiki/Trig_identities#Power-reduction_formula.
Actually, there is another way that you can do it, which involves taking advantage of the complex exponential form of sine and cosine. You would do something like this:
In [3]: (cos(x)**5).rewrite(exp).expand().rewrite(cos)
Out[3]:
cos(5⋅x) 5⋅cos(x) 5⋅cos(3⋅x)
──────── + ──────── + ──────────
16 8 16
Aaron Meurer
> --
> You received this message because you are subscribed to the Google Groups "sympy" group.
> To post to this group, send email to sy...@googlegroups.com.
> To unsubscribe from this group, send email to sympy+un...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
>