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 r84562 = 2.0;
        double r84563 = n;
        double r84564 = r84562 * r84563;
        double r84565 = U;
        double r84566 = r84564 * r84565;
        double r84567 = t;
        double r84568 = l;
        double r84569 = r84568 * r84568;
        double r84570 = Om;
        double r84571 = r84569 / r84570;
        double r84572 = r84562 * r84571;
        double r84573 = r84567 - r84572;
        double r84574 = r84568 / r84570;
        double r84575 = pow(r84574, r84562);
        double r84576 = r84563 * r84575;
        double r84577 = U_;
        double r84578 = r84565 - r84577;
        double r84579 = r84576 * r84578;
        double r84580 = r84573 - r84579;
        double r84581 = r84566 * r84580;
        double r84582 = sqrt(r84581);
        return r84582;
}

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-upwards-no-duplicates/src/core/simplify.rkt	80	4
for-loop	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt	76	2
(unnamed)	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt	56	0
(unnamed)	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt	38	0
simplify!	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt	224	0
run-iter!	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt	327	0
for-loop	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt	365	4
run-improve47	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/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