How do you simplify cos(2 arcsin x)?