integral from 0 to 5 pi /2 floor(cot x)