Worked example: Product rule with mixed implicit & explicit