How do you simplify sin(sin^(-1)x + cos^(-1)x)sin(sin1x+cos1x)?