\[\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 r29974 = x;
        double r29975 = 18.0;
        double r29976 = r29974 * r29975;
        double r29977 = y;
        double r29978 = r29976 * r29977;
        double r29979 = z;
        double r29980 = r29978 * r29979;
        double r29981 = t;
        double r29982 = r29980 * r29981;
        double r29983 = a;
        double r29984 = 4.0;
        double r29985 = r29983 * r29984;
        double r29986 = r29985 * r29981;
        double r29987 = r29982 - r29986;
        double r29988 = b;
        double r29989 = c;
        double r29990 = r29988 * r29989;
        double r29991 = r29987 + r29990;
        double r29992 = r29974 * r29984;
        double r29993 = i;
        double r29994 = r29992 * r29993;
        double r29995 = r29991 - r29994;
        double r29996 = j;
        double r29997 = 27.0;
        double r29998 = r29996 * r29997;
        double r29999 = k;
        double r30000 = r29998 * r29999;
        double r30001 = r29995 - r30000;
        return r30001;
}

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-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-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

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

Reproduce

Backtrace