De Moivre's Formula ``` (cos x + isin x)n = cos(nx) + isin(nx) ``` from ``` (1) (eix)n = einx (2) (cos x + i sin x)n = cos(nx) + isin(nx) ``` As per <https://fermatslasttheorem.blogspot.com/2006/02/eulers-formula.html>