§ Autodiff over derivative of integrals