\[0.9 \leq t \land t \leq 1.1\]
\[\]

Reproduce

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

Backtrace

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))LC
make-term/data/pavpan/nightlies/herbie/egg-taylor/src/core/taylor.rkt2260
for-loop/data/pavpan/nightlies/herbie/egg-taylor/src/core/taylor.rkt472
build-terms/data/pavpan/nightlies/herbie/egg-taylor/src/core/taylor.rkt460
for-loop/data/pavpan/nightlies/herbie/egg-taylor/src/core/taylor.rkt784
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.rkt1060
taylor-alt/data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt1320
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 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)))))