How do you simplify cos(2arcsinx)?