WolframAlpha computational knowledge AI
TrigFactor[Cosh[x]+Cosh[y]]