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