Algebra.AD
data
D
v c
data
E
v c
subst
dVar
var
sqrtE