int (x-1)/8 dx, x=1..3