differentiation of an integral