\arctan(\sqrt3)