derivative of an integral