You need to enable JavaScript to run this app.
Expii
Rigorous Implicit Differentiation/Function Theorem - Expii
Technically, in order to rigorously do implicit differentiation, we need to check that the "implicit function y = f(x)" is differentiable. The implicit function theorem is a tool to do that.