How do you evaluate #sin(tan^-1(sqrt3))#?