Please include this information when filing a bug report:
herbie shell --seed 2020270
(FPCore (x y z t)
:name "Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1, B"
:precision binary64
:herbie-target
(if (< (/ (* (/ y z) t) t) -1.20672205123045e+245) (/ y (/ z x)) (if (< (/ (* (/ y z) t) t) -5.907522236933906e-275) (* x (/ y z)) (if (< (/ (* (/ y z) t) t) 5.658954423153415e-65) (/ y (/ z x)) (if (< (/ (* (/ y z) t) t) 2.0087180502407133e+217) (* x (/ y z)) (/ (* y x) z)))))
(* x (/ (* (/ y z) t) t)))
| repr-of: arity mismatch; the expected number of arguments does not match the given number expected: 3 given: 1 arguments...: 'z | 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 |
| convert-try-/ | /data/pavpan/nightlies/herbie/egg-taylor/src/core/simplify.rkt | 47 | 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 |
| 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 (x y z t)
:name "Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1, B"
:precision binary64
:herbie-target
(if (< (/ (* (/ y z) t) t) -1.20672205123045e+245) (/ y (/ z x)) (if (< (/ (* (/ y z) t) t) -5.907522236933906e-275) (* x (/ y z)) (if (< (/ (* (/ y z) t) t) 5.658954423153415e-65) (/ y (/ z x)) (if (< (/ (* (/ y z) t) t) 2.0087180502407133e+217) (* x (/ y z)) (/ (* y x) z)))))
(* x (/ (* (/ y z) t) t)))