\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 r8616 = x;
double r8617 = 18.0;
double r8618 = r8616 * r8617;
double r8619 = y;
double r8620 = r8618 * r8619;
double r8621 = z;
double r8622 = r8620 * r8621;
double r8623 = t;
double r8624 = r8622 * r8623;
double r8625 = a;
double r8626 = 4.0;
double r8627 = r8625 * r8626;
double r8628 = r8627 * r8623;
double r8629 = r8624 - r8628;
double r8630 = b;
double r8631 = c;
double r8632 = r8630 * r8631;
double r8633 = r8629 + r8632;
double r8634 = r8616 * r8626;
double r8635 = i;
double r8636 = r8634 * r8635;
double r8637 = r8633 - r8636;
double r8638 = j;
double r8639 = 27.0;
double r8640 = r8638 * r8639;
double r8641 = k;
double r8642 = r8640 * r8641;
double r8643 = r8637 - r8642;
return r8643;
}
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"
(- (- (+ (- (* (* (* (* 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 |