\int_0^1 (costx-1)/x dx