Tag: product rule and implicit differentiation