Doubt from formulae of inverse trigonometry


What is the third formulae of 2cos inverse x and it's derivation?

cos(2x) = 1-2{{sin}^2}(x)

I don't think the formula is right