\[\]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020270 
(FPCore (a b_2 c)
  :name "quad2p (problem 3.2.1, positive)"
  :precision binary64
  (/ (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))

Backtrace

repr-of: arity mismatch; the expected number of arguments does not match the given number expected: 3 given: 1 arguments...: 0LC
binary-op-with-repr/data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt2700
convert-try-//data/pavpan/nightlies/herbie/egg-taylor/src/core/simplify.rkt470
differentiate-exprs/data/pavpan/nightlies/herbie/egg-taylor/src/core/simplify.rkt390
(unnamed)/opt/racket-7.8/collects/racket/contract/private/arrow-higher-order.rkt37533
get-batch/data/pavpan/nightlies/herbie/egg-taylor/src/core/taylor.rkt180
terms-for-coeffs/data/pavpan/nightlies/herbie/egg-taylor/src/core/taylor.rkt762
approximate/data/pavpan/nightlies/herbie/egg-taylor/src/core/taylor.rkt510
location-do-multiple/data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt1100
taylor-alt/data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt1320
for-loop/data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt1747
gen-series!/data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt1670
run-iter!/data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt3530
run-improve/data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt3720
(unnamed)/data/pavpan/nightlies/herbie/egg-taylor/src/sandbox.rkt726
run/opt/racket-7.8/share/pkgs/profile-lib/main.rkt392
profile-thunk/opt/racket-7.8/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.8/collects/racket/engine.rkt4224

Reproduce

herbie shell --seed 2020270 
(FPCore (a b_2 c)
  :name "quad2p (problem 3.2.1, positive)"
  :precision binary64
  (/ (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))