How do you simplify the expression arctan(1/sqrt3)?