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 2025126 
(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

map: contract violation expected: list? given: "(let (v_0 (cos.f64 (+.f64 (/.f64 (*.f64 2 PI.f64) 3) (/.f64 (acos.f64 (/.f64 (neg.f64 $var0) $var1)) 3)))) (let (v_1 (pow v_0 3)) (let (v_2 (* v_0 v_0)) (let (v_3 (+ v_1 v_1)) (let (v_4 (+ v_2 (- v_2 v_2))) (le...		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
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