Question 1196147
.
<pre>

It is simply another form of the identity

    sin(2a) = 2*sin(a)*cos(a),


where a = arccos(x), x = cos(a), sin(a) = {{{sqrt(1-x^2)}}}.
</pre>