WolframAlpha computational knowledge AI
trig reduce 2(1 - 2sin(x)^2)