Exception for Toniolo and Linder, Equation (13)

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

Math

\[\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{\ell \cdot \ell}{Om}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^{2}\right) \cdot \left(U - U*\right)\right)}\]

C

double f(double n, double U, double t, double l, double Om, double U_) {
        double r96011 = 2.0;
        double r96012 = n;
        double r96013 = r96011 * r96012;
        double r96014 = U;
        double r96015 = r96013 * r96014;
        double r96016 = t;
        double r96017 = l;
        double r96018 = r96017 * r96017;
        double r96019 = Om;
        double r96020 = r96018 / r96019;
        double r96021 = r96011 * r96020;
        double r96022 = r96016 - r96021;
        double r96023 = r96017 / r96019;
        double r96024 = pow(r96023, r96011);
        double r96025 = r96012 * r96024;
        double r96026 = U_;
        double r96027 = r96014 - r96026;
        double r96028 = r96025 * r96027;
        double r96029 = r96022 - r96028;
        double r96030 = r96015 * r96029;
        double r96031 = sqrt(r96030);
        return r96031;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020045 
(FPCore (n U t l Om U*)
  :name "Toniolo and Linder, Equation (13)"
  :precision binary64
  (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))))

Backtrace

hash-ref: no value found for key key: '(* #<enode 670(670)> #<enode 3(656)>)		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