积分求导的公式是 F'（x） = ∫（a,x） f（t） dt + x * f（x），其中F（x）是积分函数，a是积分下限，x是积分上限，f（t）是被积函数。这个公式也被称为Leibniz积分法则。
当积分下限a是常数时，公式可以简化为F'（x） = ∫（a,x） f（t） dt + x * f（x）。
需要注意的是，这个公式只适用于积分上限是变量x的情况，被积函数f（t）中不能含有变量x。如果积分上下限都是变量，那么需要使用复合函数的求导法则。
在实际应用中，积分求导通常需要结合其他数学工具和方法，如换元积分法、分部积分法等，以便更有效地求解复杂的积分问题。