微分

eval = x * x^2
として evalを微分すると

d(eval)/dx = lim(Δ→0)[ (x+Δ)*((x+Δ)^2) -x * x^2]/ lim(Δ→0)[(x+Δ)-(x)]

= lim(d->0) [ (x+d)*(x^2+2dx+d^2)-x^3]/lim(d->0)[d]
= lim(d->0) [ x^3+2dx^2+d^2*x + d*x^2+2d^2*x+d^3 -x^3 ]/lim(d->0)d
= lim(d->0) [ 3d*x^2 + 3d^2*x + d^3 ]/lim(d->0)d
= lim(d->0) [ 3*x^2 + 3d*x + d^2 ]
= 3 * x^2

ということは

eval = 進行度(x) * 評価関数(x)
の微分は

d(eval)/dx = lim(d->0) [ 進行度(x+d) * 評価関数(x+d) - 進行度(x) * 評価関数(x) ]/lim(d->0)d