WolframAlpha computational knowledge AI
cos(3x) – cos(2x) = sin(3x)