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