Total differentiation#The total derivative via differentials