differentiation of integral