Worked example: Implicit differentiation