\[\]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020355 
(FPCore (a k m)
  :name "Falkner and Boettcher, Appendix A"
  :precision binary64
  (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))

Backtrace

application: not a procedure; expected a procedure that can be applied to arguments given: #f arguments...: [none]LC
loop/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt17410
for-loop/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt1698
for-loop/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt1698
taylor-alt/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt1610
gen-series!/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt1850
run-iter!/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt3800
run-improve/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt3970
(unnamed)/data/pavpan/nightlies/herbie/taylor-one-var/src/sandbox.rkt546
run/opt/racket-7.9/share/pkgs/profile-lib/main.rkt392
profile-thunk/opt/racket-7.9/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.9/collects/racket/engine.rkt4224

Reproduce

herbie shell --seed 2020355 
(FPCore (a k m)
  :name "Falkner and Boettcher, Appendix A"
  :precision binary64
  (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))