Let's say that a number has a _simple trigonometric representation_, if it can be represented as a product of zero or more rational powers of prime numbers and zero or more integer powers of $\sin(\cdot)$ at rational multiples of $\pi$. Examples: * $\sqrt{\sin\!\left(\frac\pi{10}\right)}$ has a simple trigonometric representation, because $\sqrt{\sin\!\left(\frac\pi{10}\right)}=\frac{2^{1/2}}{5^{1/4}}\,\sin\!\left(\frac\pi5\right)$. * $\pi$ does not have a simple trigonometric representation, because it is not an algebraic number. Questions: * Do $\sqrt{\sin\!\left(\frac\pi5\right)},\,\sqrt{\sin\!\left(\frac\pi7\right)},\,\sqrt{\sin\!\left(\frac\pi{12}\right)},\,\sqrt{\sin\!\left(\frac\pi{15}\right)},\,\sqrt{\sin\!\left(\frac\pi{20}\right)},\,\sqrt{\sin\!\left(\frac\pi{21}\right)}$ have a simple trigonometric representation? * Is there an algorithm that, given a rational power of $\sin(\cdot)$ at a rational multiple of $\pi$, would determine if it has a simple trigonometric representation? If so, could you give a concrete example of such an algorithm? * More generally, is there an algorithm that, given a real algebraic number (in a form of its minimal polynomial and a rational isolating interval), would determine if it has a simple trigonometric representation? If so, could you give a concrete example of such an algorithm?