WolframAlpha computational knowledge AI
simplify cos(4x)^2 + sin(2x)