\[\left(\left(d1 \cdot d2 - d1 \cdot d3\right) + d4 \cdot d1\right) - d1 \cdot d1\]
\left(\left(d1 \cdot d2 - d1 \cdot d3\right) + d4 \cdot d1\right) - d1 \cdot d1
double f(double d1, double d2, double d3, double d4) {
        double r272783 = d1;
        double r272784 = d2;
        double r272785 = r272783 * r272784;
        double r272786 = d3;
        double r272787 = r272783 * r272786;
        double r272788 = r272785 - r272787;
        double r272789 = d4;
        double r272790 = r272789 * r272783;
        double r272791 = r272788 + r272790;
        double r272792 = r272783 * r272783;
        double r272793 = r272791 - r272792;
        return r272793;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020045 +o rules:numerics
(FPCore (d1 d2 d3 d4)
  :name "FastMath dist4"
  :precision binary64

  :herbie-target
  (* d1 (- (+ (- d2 d3) d4) d1))

  (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))

Backtrace

hash-ref: no value found for key key: '(* #<enode 228(228)> #<enode 0(110)>)LC
for-loop/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/egraph.rkt2706
update-leader!/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/egraph.rkt2650
for-loop/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/main.rkt772
prune-phase/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/main.rkt740
for-loop/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt804
for-loop/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt762
(unnamed)/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt560
(unnamed)/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt380
simplify!/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt2240
run-iter!/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt3270
for-loop/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt3654
run-improve47/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt3460
.../more-scheme.rkt:261:28unknown
run/opt/racket-7.5/share/pkgs/profile-lib/main.rkt392
profile-thunk16/opt/racket-7.5/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.5/collects/racket/private/more-scheme.rkt26128