differentiation of implicit functions