WolframAlpha computational knowledge AI
simplify sin(x-y) + sin(x+y)