\[\left(\left(\left(\left(\left(\left(x \cdot 18\right) \cdot y\right) \cdot z\right) \cdot t - \left(a \cdot 4\right) \cdot t\right) + b \cdot c\right) - \left(x \cdot 4\right) \cdot i\right) - \left(j \cdot 27\right) \cdot k\]

\left(\left(\left(\left(\left(\left(x \cdot 18\right) \cdot y\right) \cdot z\right) \cdot t - \left(a \cdot 4\right) \cdot t\right) + b \cdot c\right) - \left(x \cdot 4\right) \cdot i\right) - \left(j \cdot 27\right) \cdot k

double f(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k) {
        double r31191 = x;
        double r31192 = 18.0;
        double r31193 = r31191 * r31192;
        double r31194 = y;
        double r31195 = r31193 * r31194;
        double r31196 = z;
        double r31197 = r31195 * r31196;
        double r31198 = t;
        double r31199 = r31197 * r31198;
        double r31200 = a;
        double r31201 = 4.0;
        double r31202 = r31200 * r31201;
        double r31203 = r31202 * r31198;
        double r31204 = r31199 - r31203;
        double r31205 = b;
        double r31206 = c;
        double r31207 = r31205 * r31206;
        double r31208 = r31204 + r31207;
        double r31209 = r31191 * r31201;
        double r31210 = i;
        double r31211 = r31209 * r31210;
        double r31212 = r31208 - r31211;
        double r31213 = j;
        double r31214 = 27.0;
        double r31215 = r31213 * r31214;
        double r31216 = k;
        double r31217 = r31215 * r31216;
        double r31218 = r31212 - r31217;
        return r31218;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020045 
(FPCore (x y z t a b c i j k)
  :name "Diagrams.Solve.Polynomial:cubForm  from diagrams-solve-0.1"
  :precision binary64
  (- (- (+ (- (* (* (* (* x 18) y) z) t) (* (* a 4) t)) (* b c)) (* (* x 4) i)) (* (* j 27) k)))

Backtrace

hash-ref: no value found for key key: '(* #<enode 1180(1180)> #<enode 0(1174)>)		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-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

Falling back on racket egraph because egg-herbie package not installed (more)

Reproduce

Backtrace