It would be good to add forward and reverse rules for differentiating the result of `find_zero` via the implicit function theorem.