Derivative of implicitly defined functions