# completed() is complete differentiation;

completed(f_):=d(f,x)*dx+d(f,y)*dy;
completed(f_,x_,y_) := d(f,x)*dx+d(f,y)*dy;