ยง Autodiff over derivative of integrals