Exception for Quadratic roots, narrow range

\[1.0536712127723509 \cdot 10^{-08} < a \land a < 94906265.62425156 \land 1.0536712127723509 \cdot 10^{-08} < b \land b < 94906265.62425156 \land 1.0536712127723509 \cdot 10^{-08} < c \land c < 94906265.62425156\]

Math

\[\]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020270 
(FPCore (a b c)
  :name "Quadratic roots, narrow range"
  :precision binary64
  :pre (and (< 1.0536712127723509e-08 a 94906265.62425156) (< 1.0536712127723509e-08 b 94906265.62425156) (< 1.0536712127723509e-08 c 94906265.62425156))
  (/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)))

Backtrace

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
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
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
for-loop	/data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt	391	4
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

Reproduce

herbie shell --seed 2020270 
(FPCore (a b c)
  :name "Quadratic roots, narrow range"
  :precision binary64
  :pre (and (< 1.0536712127723509e-08 a 94906265.62425156) (< 1.0536712127723509e-08 b 94906265.62425156) (< 1.0536712127723509e-08 c 94906265.62425156))
  (/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)))