How do you evaluate the expression cot(pi/3)?