dt(f_,x_,y_) := d(f_,x_)+d(f_,y_);