simplify sin(arcsinx + arccosx)