Exception for Statistics.Math.RootFinding:ridders from math-functions-0.1.5.2

Math

\[\frac{\left(x \cdot y\right) \cdot z}{\sqrt{z \cdot z - t \cdot a}} \]

FPCore

(FPCore (x y z t a)
 :precision binary64
 (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))

C

double code(double x, double y, double z, double t, double a) {
	return ((x * y) * z) / sqrt(((z * z) - (t * a)));
}

Fortran

real(8) function code(x, y, z, t, a)
    real(8), intent (in) :: x
    real(8), intent (in) :: y
    real(8), intent (in) :: z
    real(8), intent (in) :: t
    real(8), intent (in) :: a
    code = ((x * y) * z) / sqrt(((z * z) - (t * a)))
end function

Java

public static double code(double x, double y, double z, double t, double a) {
	return ((x * y) * z) / Math.sqrt(((z * z) - (t * a)));
}

Python

def code(x, y, z, t, a):
	return ((x * y) * z) / math.sqrt(((z * z) - (t * a)))

Julia

function code(x, y, z, t, a)
	return Float64(Float64(Float64(x * y) * z) / sqrt(Float64(Float64(z * z) - Float64(t * a))))
end

MATLAB

function tmp = code(x, y, z, t, a)
	tmp = ((x * y) * z) / sqrt(((z * z) - (t * a)));
end

Wolfram

code[x_, y_, z_, t_, a_] := N[(N[(N[(x * y), $MachinePrecision] * z), $MachinePrecision] / N[Sqrt[N[(N[(z * z), $MachinePrecision] - N[(t * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2023033 
(FPCore (x y z t a)
  :name "Statistics.Math.RootFinding:ridders from math-functions-0.1.5.2"
  :precision binary64

  :herbie-target
  (if (< z -3.1921305903852764e+46) (- (* y x)) (if (< z 5.976268120920894e+90) (/ (* x z) (/ (sqrt (- (* z z) (* a t))) y)) (* y x)))

  (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))

Backtrace

map: contract violation expected: list? given: #<eof>		L	C
gen-map	/usr/share/racket/collects/racket/private/map.rkt	257	2
run-egglog	/home/nightlies/herbie/oflatt-egglog-ctx/src/egglog/run-egglog.rkt	1456	0
run-simplify-input	/home/nightlies/herbie/oflatt-egglog-ctx/src/core/simplify.rkt	73	0
simplify-batch	/home/nightlies/herbie/oflatt-egglog-ctx/src/core/simplify.rkt	48	0
(unnamed)	/usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt	379	33
simplify!	/home/nightlies/herbie/oflatt-egglog-ctx/src/patch.rkt	246	0
patch-table-run	/home/nightlies/herbie/oflatt-egglog-ctx/src/patch.rkt	318	0
(unnamed)	/usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt	486	18
run-iter!	/home/nightlies/herbie/oflatt-egglog-ctx/src/mainloop.rkt	262	0
mutate!	/home/nightlies/herbie/oflatt-egglog-ctx/src/mainloop.rkt	372	0
run-improve!	/home/nightlies/herbie/oflatt-egglog-ctx/src/mainloop.rkt	320	0
run-herbie	/home/nightlies/herbie/oflatt-egglog-ctx/src/sandbox.rkt	57	0
(unnamed)	/home/nightlies/herbie/oflatt-egglog-ctx/src/sandbox.rkt	133	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