Sé que $\cos(6\phi)\equiv32c^6-48c^4+18c^2-1$ donde $c=\cos\phi$.
También sé que cuando $\cos(6\phi)=0$, luego $\phi=\frac{k\pi}{12}$ ($k = 1,3,5,7,9,11$).
¿Cómo puedo encontrar el valor exacto de: $$\cos\left(\frac{\pi}{12}\right) \cos\left(\frac{5\pi}{12}\right) \cos\left(\frac{7\pi}{12}\right) \cos\left(\frac{11\pi}{12}\right)$$