\[d1 \cdot d2 + d1 \cdot d3\]

d1 \cdot d2 + d1 \cdot d3

(FPCore (d1 d2 d3) :precision binary64 (+ (* d1 d2) (* d1 d3)))

double code(double d1, double d2, double d3) {
	return (d1 * d2) + (d1 * d3);
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2021060 
(FPCore (d1 d2 d3)
  :name "FastMath dist"
  :precision binary64

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

  (+ (* d1 d2) (* d1 d3)))

Backtrace

Failed to produce proof for (exp.f64 (*.f64 1/3 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 d3))))) to (cbrt.f64 d3)		L	C
for-loop	/data/pavpan/nightlies/herbie/egg-generate-proof/src/core/simplify.rkt	167	8
(unnamed)	/data/pavpan/nightlies/herbie/egg-generate-proof/src/core/simplify.rkt	149	6
egraph-add-exprs	/data/pavpan/nightlies/herbie/egg-generate-proof/egg-herbie/main.rkt	154	0
with-egraph	/data/pavpan/nightlies/herbie/egg-generate-proof/egg-herbie/main.rkt	74	0
(unnamed)	/data/pavpan/nightlies/herbie/egg-generate-proof/src/core/simplify.rkt	79	0
simplify!	/data/pavpan/nightlies/herbie/egg-generate-proof/src/mainloop.rkt	236	0
run-iter!	/data/pavpan/nightlies/herbie/egg-generate-proof/src/mainloop.rkt	360	0
for-loop	/data/pavpan/nightlies/herbie/egg-generate-proof/src/mainloop.rkt	391	2
run-improve	/data/pavpan/nightlies/herbie/egg-generate-proof/src/mainloop.rkt	377	0
(unnamed)	/data/pavpan/nightlies/herbie/egg-generate-proof/src/sandbox.rkt	54	6
run	/opt/racket-7.9/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk	/opt/racket-7.9/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.9/collects/racket/engine.rkt	42	24