?

\[\left(10^{-5} \leq x \land x \leq 1\right) \land \left(1 \leq tau \land tau \leq 5\right)\]

\[\frac{\sin \left(\left(x \cdot \pi\right) \cdot tau\right)}{\left(x \cdot \pi\right) \cdot tau} \cdot \frac{\sin \left(x \cdot \pi\right)}{x \cdot \pi} \]

(FPCore (x tau)
 :precision binary32
 (* (/ (sin (* (* x PI) tau)) (* (* x PI) tau)) (/ (sin (* x PI)) (* x PI))))

float code(float x, float tau) {
	return (sinf(((x * ((float) M_PI)) * tau)) / ((x * ((float) M_PI)) * tau)) * (sinf((x * ((float) M_PI))) / (x * ((float) M_PI)));
}

function code(x, tau)
	return Float32(Float32(sin(Float32(Float32(x * Float32(pi)) * tau)) / Float32(Float32(x * Float32(pi)) * tau)) * Float32(sin(Float32(x * Float32(pi))) / Float32(x * Float32(pi))))
end

function tmp = code(x, tau)
	tmp = (sin(((x * single(pi)) * tau)) / ((x * single(pi)) * tau)) * (sin((x * single(pi))) / (x * single(pi)));
end

\frac{\sin \left(\left(x \cdot \pi\right) \cdot tau\right)}{\left(x \cdot \pi\right) \cdot tau} \cdot \frac{\sin \left(x \cdot \pi\right)}{x \cdot \pi}

Reproduce?

Please include this information when filing a bug report:

herbie shell --seed 2023241 
(FPCore (x tau)
  :name "Lanczos kernel"
  :precision binary32
  :pre (and (and (<= 1e-5 x) (<= x 1.0)) (and (<= 1.0 tau) (<= tau 5.0)))
  (* (/ (sin (* (* x PI) tau)) (* (* x PI) tau)) (/ (sin (* x PI)) (* x PI))))

Backtrace

match: no matching clause for 'ival		L	C
compile-progs	/home/nightlies/herbie/arb-support/src/programs.rkt	122	0
make-search-func	/home/nightlies/herbie/arb-support/src/ground-truth.rkt	20	0
sample-points	/home/nightlies/herbie/arb-support/src/ground-truth.rkt	64	0
setup-context!	/home/nightlies/herbie/arb-support/src/mainloop.rkt	293	0
get-alternatives/report	/home/nightlies/herbie/arb-support/src/sandbox.rkt	148	0
(unnamed)	/home/nightlies/herbie/arb-support/src/sandbox.rkt	247	6
(unnamed)	/usr/share/racket/pkgs/profile-lib/main.rkt	40	10
profile-thunk	/usr/share/racket/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/usr/share/racket/collects/racket/engine.rkt	42	24