WolframAlpha computational knowledge AI
trig reduce cos(2x)^2 + sin(2x)