\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 r8136 = x;
double r8137 = 18.0;
double r8138 = r8136 * r8137;
double r8139 = y;
double r8140 = r8138 * r8139;
double r8141 = z;
double r8142 = r8140 * r8141;
double r8143 = t;
double r8144 = r8142 * r8143;
double r8145 = a;
double r8146 = 4.0;
double r8147 = r8145 * r8146;
double r8148 = r8147 * r8143;
double r8149 = r8144 - r8148;
double r8150 = b;
double r8151 = c;
double r8152 = r8150 * r8151;
double r8153 = r8149 + r8152;
double r8154 = r8136 * r8146;
double r8155 = i;
double r8156 = r8154 * r8155;
double r8157 = r8153 - r8156;
double r8158 = j;
double r8159 = 27.0;
double r8160 = r8158 * r8159;
double r8161 = k;
double r8162 = r8160 * r8161;
double r8163 = r8157 - r8162;
return r8163;
}
Please include this information when filing a bug report:
herbie shell --seed 2019191 +o rules:numerics
(FPCore (x y z t a b c i j k)
:name "Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1"
(- (- (+ (- (* (* (* (* 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 |