int_0^(1/2) (1-pi*t*cot(pi*t))/2