WolframAlpha computational knowledge AI
does sin(θ)^2 + cos(θ)^2 = 1?