df=fxdx
ddx=(dx)xdx=ddxdx
ddx(1-dx)=0
dx<>1->ddx=0