It is simply another form of the identity sin(2a) = 2*sin(a)*cos(a), where a = arccos(x), x = cos(a), sin(a) = .