Exception for Data.Octree.Internal:octantDistance from Octree-0.5.4.2

Specification

Math

\[\begin{array}{l} \\ \sqrt{x \cdot x + y \cdot y} \end{array} \]

FPCore

(FPCore (x y) :precision binary64 (sqrt (+ (* x x) (* y y))))

C

double code(double x, double y) {
	return sqrt(((x * x) + (y * y)));
}

Fortran

real(8) function code(x, y)
    real(8), intent (in) :: x
    real(8), intent (in) :: y
    code = sqrt(((x * x) + (y * y)))
end function

Java

public static double code(double x, double y) {
	return Math.sqrt(((x * x) + (y * y)));
}

Python

def code(x, y):
	return math.sqrt(((x * x) + (y * y)))

Julia

function code(x, y)
	return sqrt(Float64(Float64(x * x) + Float64(y * y)))
end

MATLAB

function tmp = code(x, y)
	tmp = sqrt(((x * x) + (y * y)));
end

Wolfram

code[x_, y_] := N[Sqrt[N[(N[(x * x), $MachinePrecision] + N[(y * y), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]

Reproduce

herbie shell --seed 2024254 
(FPCore (x y)
  :name "Data.Octree.Internal:octantDistance  from Octree-0.5.4.2"
  :precision binary64

  :alt
  (! :herbie-platform default (if (< x -11236950826599826000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (- x) (if (< x 1116557621183362000000000000000000000000000000000000000000000000000000000000000000000000000000) (sqrt (+ (* x x) (* y y))) x)))

  (sqrt (+ (* x x) (* y y))))

Please file a bug report with this information.

Backtrace

match-define: no matching clause for '("sqrt.f64" "(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 y y)))" "oflow-rescue" 121 0 (("(*.f64 y y)" "overflow" 70) ("(*.f64 x x)" "overflow" 68) ("(+.f64 (*.f64 x x) (*.f64 y y))" "overflow" 121)) ())		L	C
explain!	/home/nightlies/herbie/explanations-endpoint-revised/src/core/mainloop.rkt	322	0
run-improve!	/home/nightlies/herbie/explanations-endpoint-revised/src/core/mainloop.rkt	44	0
get-alternatives/report	/home/nightlies/herbie/explanations-endpoint-revised/src/api/sandbox.rkt	186	0
(unnamed)	/home/nightlies/herbie/explanations-endpoint-revised/src/api/sandbox.rkt	282	6
(unnamed)	/usr/local/racket/share/pkgs/profile-lib/main.rkt	40	10
profile-thunk	/usr/local/racket/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/usr/local/racket/collects/racket/engine.rkt	42	24