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