高阶函数的导数

这是在的情况下自动微分 -什么会这样的系统做像一个函数map，或者filter-或者甚至一个SKI组合子？

示例：我具有以下功能：

def func(x):
    return sum(map(lambda a: a**x, range(20)))

它的派生词是什么？结果是AD系统会产生什么结果？（此函数在实数输入上定义良好）。