How do you evaluate sin(arcsin(123)+arcsin(45))?