WolframAlpha computational knowledge AI
sqrt(2cos(4x)-sin^2x-2)=1+cosx