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