How do you do simplify cos(2sin1x)?