How do you evaluate #arctan sqrt3#?