\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 r9003 = x;
double r9004 = 18.0;
double r9005 = r9003 * r9004;
double r9006 = y;
double r9007 = r9005 * r9006;
double r9008 = z;
double r9009 = r9007 * r9008;
double r9010 = t;
double r9011 = r9009 * r9010;
double r9012 = a;
double r9013 = 4.0;
double r9014 = r9012 * r9013;
double r9015 = r9014 * r9010;
double r9016 = r9011 - r9015;
double r9017 = b;
double r9018 = c;
double r9019 = r9017 * r9018;
double r9020 = r9016 + r9019;
double r9021 = r9003 * r9013;
double r9022 = i;
double r9023 = r9021 * r9022;
double r9024 = r9020 - r9023;
double r9025 = j;
double r9026 = 27.0;
double r9027 = r9025 * r9026;
double r9028 = k;
double r9029 = r9027 * r9028;
double r9030 = r9024 - r9029;
return r9030;
}
Please include this information when filing a bug report:
herbie shell --seed 2019191
(FPCore (x y z t a b c i j k)
:name "Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, E"
:herbie-target
(if (< t -1.6210815397541398e-69) (- (- (* (* 18.0 t) (* (* x y) z)) (* (+ (* a t) (* i x)) 4.0)) (- (* (* k j) 27.0) (* c b))) (if (< t 165.68027943805222) (+ (- (* (* 18.0 y) (* x (* z t))) (* (+ (* a t) (* i x)) 4.0)) (- (* c b) (* 27.0 (* k j)))) (- (- (* (* 18.0 t) (* (* x y) z)) (* (+ (* a t) (* i x)) 4.0)) (- (* (* k j) 27.0) (* c b)))))
(- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))
| get-representation: Unknown representation #f | L | C | |
|---|---|---|---|
| loop | /data/pavpan/nightlies/herbie/interface2/src/points.rkt | 122 | 4 |
| prepare-points | /data/pavpan/nightlies/herbie/interface2/src/points.rkt | 146 | 0 |
| setup-prog!34 | /data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt | 67 | 0 |
| run-improve43 | /data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt | 339 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |