more trigreduce...



How can I automatic reduce:
cos(a+b+c)+cos(a+b-c) to 2*cos(a)cos(b), in a general way!!!
bye