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