\left(\left(3 + \frac{2}{r \cdot r}\right) - \frac{\left(0.125 \cdot \left(3 - 2 \cdot v\right)\right) \cdot \left(\left(\left(w \cdot w\right) \cdot r\right) \cdot r\right)}{1 - v}\right) - 4.5double f(double v, double w, double r) {
double r7986 = 3.0;
double r7987 = 2.0;
double r7988 = r;
double r7989 = r7988 * r7988;
double r7990 = r7987 / r7989;
double r7991 = r7986 + r7990;
double r7992 = 0.125;
double r7993 = v;
double r7994 = r7987 * r7993;
double r7995 = r7986 - r7994;
double r7996 = r7992 * r7995;
double r7997 = w;
double r7998 = r7997 * r7997;
double r7999 = r7998 * r7988;
double r8000 = r7999 * r7988;
double r8001 = r7996 * r8000;
double r8002 = 1.0;
double r8003 = r8002 - r7993;
double r8004 = r8001 / r8003;
double r8005 = r7991 - r8004;
double r8006 = 4.5;
double r8007 = r8005 - r8006;
return r8007;
}
Please include this information when filing a bug report:
herbie shell --seed 2019191 +o rules:numerics
(FPCore (v w r)
:name "Rosa's TurbineBenchmark"
(- (- (+ 3.0 (/ 2.0 (* r r))) (/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))) 4.5))
| 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 |