cot(arctan(1/(sqrt(3)))