TrigExpand[Cos[a+b]]