Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020270 
(FPCore (x y z t a b)
  :name "Diagrams.Solve.Polynomial:cubForm  from diagrams-solve-0.1, K"
  :precision binary64

  :herbie-target
  (if (< z -1.3793337487235141e+129) (- (* (* 2.0 (sqrt x)) (cos (- (/ 1.0 y) (/ (/ 0.3333333333333333 z) t)))) (/ (/ a 3.0) b)) (if (< z 3.516290613555987e+106) (- (* (* (sqrt x) 2.0) (cos (- y (* (/ t 3.0) z)))) (/ (/ a 3.0) b)) (- (* (cos (- y (/ (/ 0.3333333333333333 z) t))) (* 2.0 (sqrt x))) (/ (/ a b) 3.0))))

  (- (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) (/ a (* b 3.0))))

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
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

Reproduce

herbie shell --seed 2020270 
(FPCore (x y z t a b)
  :name "Diagrams.Solve.Polynomial:cubForm  from diagrams-solve-0.1, K"
  :precision binary64

  :herbie-target
  (if (< z -1.3793337487235141e+129) (- (* (* 2.0 (sqrt x)) (cos (- (/ 1.0 y) (/ (/ 0.3333333333333333 z) t)))) (/ (/ a 3.0) b)) (if (< z 3.516290613555987e+106) (- (* (* (sqrt x) 2.0) (cos (- y (* (/ t 3.0) z)))) (/ (/ a 3.0) b)) (- (* (cos (- y (/ (/ 0.3333333333333333 z) t))) (* 2.0 (sqrt x))) (/ (/ a b) 3.0))))

  (- (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) (/ a (* b 3.0))))