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