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