<s>[INST] Evaluating $(1+\cos\frac{\pi}{8})(1+\cos\frac{3\pi}{8}) (1+\cos\frac{5\pi}{8})(1+\cos\frac{7\pi}{8})$ 
How to find the value of $$\left(1+\cos\frac{\pi}{8}\right)\left(1+\cos\frac{3\pi}{8}\right) \left(1+\cos\frac{5\pi}{8}\right)\left(1+\cos\frac{7\pi}{8}\right)$$


I used: $ 1+ \cos \theta=2\sin^2(\theta/2)$ to get $$2^4 \cdot\prod_{n=0}^3 \sin\left(\frac{(2n+1)\pi}{16}\right)$$
After that I tried using the formula: 
$$\sin\left(1 \frac{\pi}n\right)\sin\left(2 \frac{\pi}n\right) \cdots \sin\left((n-1) \frac{\pi}n\right)= \frac n {2^{n-1}}$$
to find the value of the expression in the parenthesis in the first equation, but currently I'm stuck. I don't think this method will lead me to the correct answer.
Any help would be appreciated!
 [/INST] Hint: $1+\cos \theta = 2\cos^2\frac{\theta}{2}$, and use:
$\cos \frac{\theta}{2} = \dfrac{\sin \theta}{2\sin \frac{\theta}{2}}$, or
try to create a quartic equation and use Viete's formula for the product of zeroes.
</s>