$\sin \left(k\cdot 30^\circ\right) = \frac{\sqrt{2}}{4}\;\sqrt{\;4\;\pm_1\;\sqrt{\phi\,(a\phi+b\overline{\phi})}\;\pm_2\;\sqrt{\overline{\phi}\,(c\phi+d\overline{\phi})}\;}$
I'm currently trying to solve this for $a = 4, b = 0, c = 0, d = 4$ and $\pm_1 = -$, $\pm_2 = +$
where $\phi := \dfrac{\sqrt 5+ 1}{2}$ and $\overline{\phi} := \phi^{-1} = \frac{1}{2}(\sqrt{5}-1)$
There's an outer square root, which made me confused. Hence I couldn't begin to solve it.
Regards!
By direct substitution,
$$\frac{\sqrt{2}}{4}\;\sqrt{\;4\;\pm_1\;\sqrt{\phi\,(a\phi+b\overline{\phi})}\;\pm_2\;\sqrt{\overline{\phi}\,(c\phi+d\overline{\phi})}\;}=\\ \frac{\sqrt{2}}{4}\;\sqrt{\;4\;-\;\sqrt{\phi\,(4\phi)}\;+\;\sqrt{\overline{\phi}\,(4\overline{\phi})}\;}=\\ \frac{\sqrt{2}}{4}\;\sqrt{\;4\;-\;2\phi\;+\;2\overline{\phi}\,\;}.$$
And from the definitions of $\phi,\overline\phi$,
$$=\frac{\sqrt{2}}{4}\;\sqrt{\;4\;-2\,\;}=\frac12.$$