cot(13pi/6)