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 r43043 = 2.0;
        double r43044 = n;
        double r43045 = r43043 * r43044;
        double r43046 = U;
        double r43047 = r43045 * r43046;
        double r43048 = t;
        double r43049 = l;
        double r43050 = r43049 * r43049;
        double r43051 = Om;
        double r43052 = r43050 / r43051;
        double r43053 = r43043 * r43052;
        double r43054 = r43048 - r43053;
        double r43055 = r43049 / r43051;
        double r43056 = pow(r43055, r43043);
        double r43057 = r43044 * r43056;
        double r43058 = U_;
        double r43059 = r43046 - r43058;
        double r43060 = r43057 * r43059;
        double r43061 = r43054 - r43060;
        double r43062 = r43047 * r43061;
        double r43063 = sqrt(r43062);
        return r43063;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020045 +o rules:numerics
(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 3(648)> #<enode 35(35)>)		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