How do you evaluate #Sin(2 arctan(sqrt 2))#?