Exception for Falkner and Boettcher, Equation (20:1,3)

Specification

\[\begin{array}{l} \\ \frac{1 - 5 \cdot \left(v \cdot v\right)}{\left(\left(\pi \cdot t\right) \cdot \sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}\right) \cdot \left(1 - v \cdot v\right)} \end{array} \]

(FPCore (v t)
 :precision binary64
 (/
  (- 1.0 (* 5.0 (* v v)))
  (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))

double code(double v, double t) {
	return (1.0 - (5.0 * (v * v))) / (((((double) M_PI) * t) * sqrt((2.0 * (1.0 - (3.0 * (v * v)))))) * (1.0 - (v * v)));
}

public static double code(double v, double t) {
	return (1.0 - (5.0 * (v * v))) / (((Math.PI * t) * Math.sqrt((2.0 * (1.0 - (3.0 * (v * v)))))) * (1.0 - (v * v)));
}

def code(v, t):
	return (1.0 - (5.0 * (v * v))) / (((math.pi * t) * math.sqrt((2.0 * (1.0 - (3.0 * (v * v)))))) * (1.0 - (v * v)))

function code(v, t)
	return Float64(Float64(1.0 - Float64(5.0 * Float64(v * v))) / Float64(Float64(Float64(pi * t) * sqrt(Float64(2.0 * Float64(1.0 - Float64(3.0 * Float64(v * v)))))) * Float64(1.0 - Float64(v * v))))
end

function tmp = code(v, t)
	tmp = (1.0 - (5.0 * (v * v))) / (((pi * t) * sqrt((2.0 * (1.0 - (3.0 * (v * v)))))) * (1.0 - (v * v)));
end

code[v_, t_] := N[(N[(1.0 - N[(5.0 * N[(v * v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(N[(N[(Pi * t), $MachinePrecision] * N[Sqrt[N[(2.0 * N[(1.0 - N[(3.0 * N[(v * v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] * N[(1.0 - N[(v * v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]

\begin{array}{l}

\\
\frac{1 - 5 \cdot \left(v \cdot v\right)}{\left(\left(\pi \cdot t\right) \cdot \sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}\right) \cdot \left(1 - v \cdot v\right)}
\end{array}

Reproduce

herbie shell --seed 2025126 
(FPCore (v t)
  :name "Falkner and Boettcher, Equation (20:1,3)"
  :precision binary64
  (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))

Please file a bug report with this information.

Backtrace

map: contract violation expected: list? given: "(let (v_0 (.f64 $var0 $var0)) (let (v_1 (-.f64 1 (.f64 5 v_0))) (let (v_2 (.f64 (.f64 (.f64 PI.f64 $var1) (sqrt.f64 ($approx ( 2 (- 1 (* 3 (* $var0 $var0)))) (fma.f64 -6 v_0 2)))) (-.f64 1 v_0))) ...		L	C
gen-map	/usr/share/racket/collects/racket/private/map.rkt	257	2
add-derivations-to	/home/nightlies/herbie/artem-rules-updates/src/core/derivations.rkt	16	0
hash-ref!	/usr/share/racket/collects/racket/private/more-scheme.rkt	377	2
loop	.../private/map.rkt	40	19
alt-map	/home/nightlies/herbie/artem-rules-updates/src/utils/alternative.rkt	43	0
add-derivations	/home/nightlies/herbie/artem-rules-updates/src/core/derivations.rkt	30	0
extract!	/home/nightlies/herbie/artem-rules-updates/src/core/mainloop.rkt	60	0
run-improve!	/home/nightlies/herbie/artem-rules-updates/src/core/mainloop.rkt	40	0
get-alternatives	/home/nightlies/herbie/artem-rules-updates/src/api/sandbox.rkt	61	0
(unnamed)	/home/nightlies/herbie/artem-rules-updates/src/api/sandbox.rkt	191	6
(unnamed)	/usr/share/racket/pkgs/profile-lib/main.rkt	40	10
profile-thunk	/usr/share/racket/pkgs/profile-lib/main.rkt	9	0
in-engine	/home/nightlies/herbie/artem-rules-updates/src/api/sandbox.rkt	207	2
(unnamed)	/usr/share/racket/collects/racket/engine.rkt	42	24