implicit+differentiation