WolframAlpha computational knowledge AI
TrigExpand[Cos[2a]]