How do you find the exact value of #arctan(sqrt3/3)#?