cotan(PI/3)