arc tan (sqrt 3)