\[\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 r254027 = x;
        double r254028 = 18.0;
        double r254029 = r254027 * r254028;
        double r254030 = y;
        double r254031 = r254029 * r254030;
        double r254032 = z;
        double r254033 = r254031 * r254032;
        double r254034 = t;
        double r254035 = r254033 * r254034;
        double r254036 = a;
        double r254037 = 4.0;
        double r254038 = r254036 * r254037;
        double r254039 = r254038 * r254034;
        double r254040 = r254035 - r254039;
        double r254041 = b;
        double r254042 = c;
        double r254043 = r254041 * r254042;
        double r254044 = r254040 + r254043;
        double r254045 = r254027 * r254037;
        double r254046 = i;
        double r254047 = r254045 * r254046;
        double r254048 = r254044 - r254047;
        double r254049 = j;
        double r254050 = 27.0;
        double r254051 = r254049 * r254050;
        double r254052 = k;
        double r254053 = r254051 * r254052;
        double r254054 = r254048 - r254053;
        return r254054;
}

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, E"
  :precision binary64

  :herbie-target
  (if (< t -1.6210815397541398e-69) (- (- (* (* 18 t) (* (* x y) z)) (* (+ (* a t) (* i x)) 4)) (- (* (* k j) 27) (* c b))) (if (< t 165.68027943805222) (+ (- (* (* 18 y) (* x (* z t))) (* (+ (* a t) (* i x)) 4)) (- (* c b) (* 27 (* k j)))) (- (- (* (* 18 t) (* (* x y) z)) (* (+ (* a t) (* i x)) 4)) (- (* (* k j) 27) (* c b)))))

  (- (- (+ (- (* (* (* (* 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