\[r \cdot \frac{\sin b}{\cos \left(a + b\right)}\]
r \cdot \frac{\sin b}{\cos \left(a + b\right)}
double f(double r, double a, double b) {
        double r726558 = r;
        double r726559 = b;
        double r726560 = sin(r726559);
        double r726561 = a;
        double r726562 = r726561 + r726559;
        double r726563 = cos(r726562);
        double r726564 = r726560 / r726563;
        double r726565 = r726558 * r726564;
        return r726565;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019173 +o rules:numerics
(FPCore (r a b)
  :name "r*sin(b)/cos(a+b), B"
  (* r (/ (sin b) (cos (+ a b)))))

Backtrace

hash-ref: no value found for key key: #<enode 461(461)>LC
for-loop/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt1972
extractor-extract/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt1960
for-loop/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt352
(unnamed)/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt260
simplify!/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt2170
run-iter!/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt3200
for-loop/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt3544
run-improve43/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt3390
(unnamed)/opt/racket-7.0/collects/racket/private/more-scheme.rkt26128
run/opt/racket-7.0/share/pkgs/profile-lib/main.rkt392
profile-thunk16/opt/racket-7.0/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.0/collects/racket/private/more-scheme.rkt26128