WolframAlpha computational knowledge AI
TrigExpand[Cos[a+b]]