derivative of \int_x^0 cos(xt)/t dt