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