Please include this information when filing a bug report:
herbie shell --seed 2020270
(FPCore (v w r)
:name "Rosa's TurbineBenchmark"
:precision binary64
(- (- (+ 3.0 (/ 2.0 (* r r))) (/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))) 4.5))
| repr-of: arity mismatch; the expected number of arguments does not match the given number expected: 3 given: 1 arguments...: 1 | L | C | |
|---|---|---|---|
| binary-op-with-repr | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 270 | 0 |
| convert-try-/ | /data/pavpan/nightlies/herbie/egg-taylor/src/core/simplify.rkt | 47 | 0 |
| loop | unknown | ||
| loop | unknown | ||
| loop | unknown | ||
| differentiate-exprs | /data/pavpan/nightlies/herbie/egg-taylor/src/core/simplify.rkt | 39 | 0 |
| (unnamed) | /opt/racket-7.8/collects/racket/contract/private/arrow-higher-order.rkt | 375 | 33 |
| get-batch | /data/pavpan/nightlies/herbie/egg-taylor/src/core/taylor.rkt | 18 | 0 |
| terms-for-coeffs | /data/pavpan/nightlies/herbie/egg-taylor/src/core/taylor.rkt | 76 | 2 |
| approximate | /data/pavpan/nightlies/herbie/egg-taylor/src/core/taylor.rkt | 51 | 0 |
| location-do-multiple | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 110 | 0 |
| taylor-alt | /data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt | 132 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt | 174 | 7 |
| gen-series! | /data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt | 167 | 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 2020270
(FPCore (v w r)
:name "Rosa's TurbineBenchmark"
:precision binary64
(- (- (+ 3.0 (/ 2.0 (* r r))) (/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))) 4.5))