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