WolframAlpha computational knowledge AI
de moivre's identity