How do you evaluate arctan sqrt3arctan3?