Implicit differentiation problem (1)