Exception for 2-ancestry mixing, negative discriminant

Specification

Math

\[\begin{array}{l} \\ 2 \cdot \cos \left(\frac{2 \cdot \pi}{3} + \frac{\cos^{-1} \left(\frac{-g}{h}\right)}{3}\right) \end{array} \]

FPCore

(FPCore (g h)
 :precision binary64
 (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))

C

double code(double g, double h) {
	return 2.0 * cos((((2.0 * ((double) M_PI)) / 3.0) + (acos((-g / h)) / 3.0)));
}

Java

public static double code(double g, double h) {
	return 2.0 * Math.cos((((2.0 * Math.PI) / 3.0) + (Math.acos((-g / h)) / 3.0)));
}

Python

def code(g, h):
	return 2.0 * math.cos((((2.0 * math.pi) / 3.0) + (math.acos((-g / h)) / 3.0)))

Julia

function code(g, h)
	return Float64(2.0 * cos(Float64(Float64(Float64(2.0 * pi) / 3.0) + Float64(acos(Float64(Float64(-g) / h)) / 3.0))))
end

MATLAB

function tmp = code(g, h)
	tmp = 2.0 * cos((((2.0 * pi) / 3.0) + (acos((-g / h)) / 3.0)));
end

Wolfram

code[g_, h_] := N[(2.0 * N[Cos[N[(N[(N[(2.0 * Pi), $MachinePrecision] / 3.0), $MachinePrecision] + N[(N[ArcCos[N[((-g) / h), $MachinePrecision]], $MachinePrecision] / 3.0), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]

Reproduce

herbie shell --seed 2024238 
(FPCore (g h)
  :name "2-ancestry mixing, negative discriminant"
  :precision binary64
  (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))))

Please file a bug report with this information.

Backtrace

error: contract violation expected: string? given: 'neg.f64		L	C
f345	.../match/compiler.rkt	559	40
loop	.../private/map.rkt	40	19
loop	.../private/map.rkt	40	19
loop	.../private/map.rkt	40	19
loop	.../private/map.rkt	40	19
compile-expr	/home/nightlies/herbie/bhargav-log-space/src/core/explain.rkt	70	0
explain	/home/nightlies/herbie/bhargav-log-space/src/core/explain.rkt	614	0
explain!	/home/nightlies/herbie/bhargav-log-space/src/core/mainloop.rkt	321	0
run-improve!	/home/nightlies/herbie/bhargav-log-space/src/core/mainloop.rkt	43	0
get-alternatives/report	/home/nightlies/herbie/bhargav-log-space/src/api/sandbox.rkt	184	0
(unnamed)	/home/nightlies/herbie/bhargav-log-space/src/api/sandbox.rkt	280	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