How do you evaluate sin(sin^-1(1/2))sin(sin1(12))?