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