\[\log \left(N + 1\right) - \log N\]
\log \left(N + 1\right) - \log N
double f(double N) {
        double r22130 = N;
        double r22131 = 1.0;
        double r22132 = r22130 + r22131;
        double r22133 = log(r22132);
        double r22134 = log(r22130);
        double r22135 = r22133 - r22134;
        return r22135;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 +o rules:numerics
(FPCore (N)
  :name "2log (problem 3.3.6)"
  :precision binary64
  (- (log (+ N 1)) (log N)))

Backtrace

dict-ref: no value for key: 'branch22129 in: '((N . binary64))LC
for-loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt1064
make-sampler/data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt990
prepare-points-intervals/data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt1210
for-loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt2339
sindices->spoints/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt1940
f33/opt/racket-7.2/collects/racket/match/compiler.rkt50740
get-final-combination/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt3690
(unnamed)/opt/racket-7.2/collects/racket/private/more-scheme.rkt26128
run/opt/racket-7.2/share/pkgs/profile-lib/main.rkt392
profile-thunk16/opt/racket-7.2/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.2/collects/racket/private/more-scheme.rkt26128