$\displaystyle\frac{2\cos 2^n A+1}{2\cos A+1}=\prod_{r=1}^{n} (2\cos 2^{r-1}A-1)$