\frac{\frac{\frac{\left(\left(\alpha + \beta\right) + \beta \cdot \alpha\right) + 1}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\alpha + \beta\right) + 2 \cdot 1}}{\left(\left(\alpha + \beta\right) + 2 \cdot 1\right) + 1}double f(double alpha, double beta) {
double r7370945 = alpha;
double r7370946 = beta;
double r7370947 = r7370945 + r7370946;
double r7370948 = r7370946 * r7370945;
double r7370949 = r7370947 + r7370948;
double r7370950 = 1.0;
double r7370951 = r7370949 + r7370950;
double r7370952 = 2.0;
double r7370953 = r7370952 * r7370950;
double r7370954 = r7370947 + r7370953;
double r7370955 = r7370951 / r7370954;
double r7370956 = r7370955 / r7370954;
double r7370957 = r7370954 + r7370950;
double r7370958 = r7370956 / r7370957;
return r7370958;
}
Please include this information when filing a bug report:
herbie shell --seed 2019173
(FPCore (alpha beta)
:name "Octave 3.8, jcobi/3"
:pre (and (> alpha -1.0) (> beta -1.0))
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
| hash-ref: no value found for key key: #<enode 1103(1103)> | L | C | |
|---|---|---|---|
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 197 | 2 |
| extractor-extract | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 196 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 35 | 2 |
| (unnamed) | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 26 | 0 |
| simplify! | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 217 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 320 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 354 | 4 |
| run-improve43 | /data/pavpan/nightlies/herbie/various-cleanup/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 |