Please include this information when filing a bug report:
herbie shell --seed 2020271
(FPCore (alpha beta i)
:name "Octave 3.8, jcobi/4"
:precision binary64
:pre (and (> alpha -1.0) (> beta -1.0) (> i 1.0))
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i)))) (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) 1.0)))
| match: no matching clause for 'real | L | C | |
|---|---|---|---|
| match:error | /opt/racket-7.8/collects/racket/match/runtime.rkt | 24 | 0 |
| f391 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 168 | 15 |
| f391 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 168 | 15 |
| f391 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 179 | 4 |
| batch-eval-progs | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 125 | 0 |
| batch-errors | /data/pavpan/nightlies/herbie/egg-taylor/src/points.rkt | 169 | 0 |
| atab-add-altns | /data/pavpan/nightlies/herbie/egg-taylor/src/core/alt-table.rkt | 194 | 0 |
| (unnamed) | /opt/racket-7.8/collects/racket/contract/private/arrow-val-first.rkt | 486 | 18 |
| finalize-iter! | /data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt | 285 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt | 353 | 0 |
| run-improve | /data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt | 372 | 0 |
| (unnamed) | /data/pavpan/nightlies/herbie/egg-taylor/src/sandbox.rkt | 72 | 6 |
| run | /opt/racket-7.8/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk | /opt/racket-7.8/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.8/collects/racket/engine.rkt | 42 | 24 |
herbie shell --seed 2020271
(FPCore (alpha beta i)
:name "Octave 3.8, jcobi/4"
:precision binary64
:pre (and (> alpha -1.0) (> beta -1.0) (> i 1.0))
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i)))) (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) 1.0)))