integral from 0 to 1 floor(cot x)