implicit differentiation with the chain rule