Cubic critical, narrow range

Specification

?
\[\left(\left(1.0536712127723509 \cdot 10^{-8} < a \land a < 94906265.62425156\right) \land \left(1.0536712127723509 \cdot 10^{-8} < b \land b < 94906265.62425156\right)\right) \land \left(1.0536712127723509 \cdot 10^{-8} < c \land c < 94906265.62425156\right)\]
\[\begin{array}{l} \\ \frac{\left(-b\right) + \sqrt{b \cdot b - \left(3 \cdot a\right) \cdot c}}{3 \cdot a} \end{array} \]
(FPCore (a b c)
 :precision binary64
 (/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a)))
double code(double a, double b, double c) {
	return (-b + sqrt(((b * b) - ((3.0 * a) * c)))) / (3.0 * a);
}
real(8) function code(a, b, c)
    real(8), intent (in) :: a
    real(8), intent (in) :: b
    real(8), intent (in) :: c
    code = (-b + sqrt(((b * b) - ((3.0d0 * a) * c)))) / (3.0d0 * a)
end function
public static double code(double a, double b, double c) {
	return (-b + Math.sqrt(((b * b) - ((3.0 * a) * c)))) / (3.0 * a);
}
def code(a, b, c):
	return (-b + math.sqrt(((b * b) - ((3.0 * a) * c)))) / (3.0 * a)
function code(a, b, c)
	return Float64(Float64(Float64(-b) + sqrt(Float64(Float64(b * b) - Float64(Float64(3.0 * a) * c)))) / Float64(3.0 * a))
end
function tmp = code(a, b, c)
	tmp = (-b + sqrt(((b * b) - ((3.0 * a) * c)))) / (3.0 * a);
end
code[a_, b_, c_] := N[(N[((-b) + N[Sqrt[N[(N[(b * b), $MachinePrecision] - N[(N[(3.0 * a), $MachinePrecision] * c), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / N[(3.0 * a), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}

\\
\frac{\left(-b\right) + \sqrt{b \cdot b - \left(3 \cdot a\right) \cdot c}}{3 \cdot a}
\end{array}

Reproduce

?
herbie shell --seed 2024146 
(FPCore (a b c)
  :name "Cubic critical, narrow range"
  :precision binary64
  :pre (and (and (and (< 1.0536712127723509e-8 a) (< a 94906265.62425156)) (and (< 1.0536712127723509e-8 b) (< b 94906265.62425156))) (and (< 1.0536712127723509e-8 c) (< c 94906265.62425156)))
  (/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a)))

Please file a bug report with this information.

Backtrace

application: not a procedure; expected a procedure that can be applied to arguments given: #fLC
backward-pass/home/nightlies/herbie/jackson-mergable-platform-changes/src/correct-round.rkt1460
compiled-spec/home/nightlies/herbie/jackson-mergable-platform-changes/src/correct-round.rkt272
compiled-spec/home/nightlies/herbie/jackson-mergable-platform-changes/src/correct-round.rkt1432
compiled-spec/home/nightlies/herbie/jackson-mergable-platform-changes/src/correct-round.rkt272
compiled-spec/home/nightlies/herbie/jackson-mergable-platform-changes/src/ground-truth.rkt312
ival-eval/home/nightlies/herbie/jackson-mergable-platform-changes/src/ground-truth.rkt550
<eval-prog-real>/home/nightlies/herbie/jackson-mergable-platform-changes/src/ground-truth.rkt862
compute-local-errors/home/nightlies/herbie/jackson-mergable-platform-changes/src/core/localize.rkt750
batch-localize-errors/home/nightlies/herbie/jackson-mergable-platform-changes/src/core/localize.rkt610
localize!/home/nightlies/herbie/jackson-mergable-platform-changes/src/mainloop.rkt2010
run-iter!/home/nightlies/herbie/jackson-mergable-platform-changes/src/mainloop.rkt730
mutate!/home/nightlies/herbie/jackson-mergable-platform-changes/src/mainloop.rkt650
run-improve!/home/nightlies/herbie/jackson-mergable-platform-changes/src/mainloop.rkt510
get-alternatives/report/home/nightlies/herbie/jackson-mergable-platform-changes/src/sandbox.rkt1690
(unnamed)/home/nightlies/herbie/jackson-mergable-platform-changes/src/sandbox.rkt2636
(unnamed)/usr/local/racket/share/pkgs/profile-lib/main.rkt4010
profile-thunk/usr/local/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/usr/local/racket/collects/racket/engine.rkt4224