How do you evaluate arctan sqrt3?