Please include this information when filing a bug report:
herbie shell --seed 2020268
(FPCore (t)
:name "fma_test1"
:precision binary64
:pre (<= 0.9 t 1.1)
:herbie-target
(fma (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)) (- -1.0 (* 2.0 (* t 2e-16))))
(+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))
| repr-of: arity mismatch; the expected number of arguments does not match the given number expected: 3 given: 1 arguments...: '(/.f64 -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (/.f64 1 t)) | L | C | |
|---|---|---|---|
| make-term | /data/pavpan/nightlies/herbie/egg-taylor/src/core/taylor.rkt | 226 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/core/taylor.rkt | 47 | 2 |
| build-terms | /data/pavpan/nightlies/herbie/egg-taylor/src/core/taylor.rkt | 46 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/core/taylor.rkt | 78 | 4 |
| 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 | 106 | 0 |
| taylor-alt | /data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt | 132 | 0 |
| 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 2020268
(FPCore (t)
:name "fma_test1"
:precision binary64
:pre (<= 0.9 t 1.1)
:herbie-target
(fma (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)) (- -1.0 (* 2.0 (* t 2e-16))))
(+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))