arctan(sqrt(3))