How do you do simplify cos ( 2 sin^-1 x)?