1-cot^2(30 deg)