WolframAlpha computational knowledge AI
(z^2 - 2z +2)(1 - z^2) = 1, sqrt(1- z^2)