Implicit derivative