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