It is simply another form of the identity sin(2a) = 2*sin(a)*cos(a), where a = arccos(x), x = cos(a), sin(a) = .
Prove the identity {{{matrix(1,3,(1-2Cos^2x)/(Sin(x)*Cos(x)),"=",...