How do you evaluate #arctan(sqrt(3))#?