integral from 0 to pi/6 cot^2x