Tracing the gradient of an implicit function