Worked example: Evaluating derivative with implicit differentiation