diff(y(x),[`$`(x,n)])-f(diff(y(x),[`$`(x,n-1)]))