Numeric.AD.Mode.Tower
data AD s a
data Tower a
auto
taylor
taylor0
maclaurin
maclaurin0
diff
diff'
diffs
diffs0
diffsF
diffs0F
du
du'
dus
dus0
duF
duF'
dusF
dus0F