How do you simplify sin(sin1x+cos1x)?