Exception for Rosa's TurbineBenchmark

• Falling back on racket egraph because egg-herbie package not installed

Math

\[\left(\left(3 + \frac{2}{r \cdot r}\right) - \frac{\left(0.125 \cdot \left(3 - 2 \cdot v\right)\right) \cdot \left(\left(\left(w \cdot w\right) \cdot r\right) \cdot r\right)}{1 - v}\right) - 4.5\]

C

double f(double v, double w, double r) {
        double r1788 = 3.0;
        double r1789 = 2.0;
        double r1790 = r;
        double r1791 = r1790 * r1790;
        double r1792 = r1789 / r1791;
        double r1793 = r1788 + r1792;
        double r1794 = 0.125;
        double r1795 = v;
        double r1796 = r1789 * r1795;
        double r1797 = r1788 - r1796;
        double r1798 = r1794 * r1797;
        double r1799 = w;
        double r1800 = r1799 * r1799;
        double r1801 = r1800 * r1790;
        double r1802 = r1801 * r1790;
        double r1803 = r1798 * r1802;
        double r1804 = 1.0;
        double r1805 = r1804 - r1795;
        double r1806 = r1803 / r1805;
        double r1807 = r1793 - r1806;
        double r1808 = 4.5;
        double r1809 = r1807 - r1808;
        return r1809;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020045 
(FPCore (v w r)
  :name "Rosa's TurbineBenchmark"
  :precision binary64
  (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 0.125 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 4.5))

Backtrace

hash-ref: no value found for key key: '(pow #<enode 642(642)> #<enode 2(407)>)		L	C
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/egraph.rkt	270	6
update-leader!	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/egraph.rkt	265	0
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/main.rkt	77	2
prune-phase	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/main.rkt	74	0
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt	80	4
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt	76	2
(unnamed)	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt	56	0
(unnamed)	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt	38	0
simplify!	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt	224	0
run-iter!	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt	327	0
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt	365	4
run-improve47	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt	346	0
.../more-scheme.rkt:261:28	unknown
run	/opt/racket-7.5/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.5/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.5/collects/racket/private/more-scheme.rkt	261	28