Exception for 2-ancestry mixing, zero discriminant

Specification

Math

\[\sqrt[3]{\frac{g}{2 \cdot a}} \]

FPCore

(FPCore (g a) :precision binary64 (cbrt (/ g (* 2.0 a))))

C

double code(double g, double a) {
	return cbrt((g / (2.0 * a)));
}

Java

public static double code(double g, double a) {
	return Math.cbrt((g / (2.0 * a)));
}

Julia

function code(g, a)
	return cbrt(Float64(g / Float64(2.0 * a)))
end

Wolfram

code[g_, a_] := N[Power[N[(g / N[(2.0 * a), $MachinePrecision]), $MachinePrecision], 1/3], $MachinePrecision]

Reproduce

herbie shell --seed 2025191 
(FPCore (g a)
  :name "2-ancestry mixing, zero discriminant"
  :precision binary64
  (cbrt (/ g (* 2.0 a))))

Please file a bug report with this information.

Backtrace

egraph-prove: cannot prove (cbrt.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (/.f64 g a)))) is equal to (cbrt.f64 (*.f64 #s(literal 1/2 binary64) g)); not equal		L	C
add-derivations-to	/home/nightlies/herbie/batch-reconstruct-alt/src/core/derivations.rkt	16	0
hash-ref!	/usr/share/racket/collects/racket/private/more-scheme.rkt	377	2
add-derivations	/home/nightlies/herbie/batch-reconstruct-alt/src/core/derivations.rkt	30	0
extract!	/home/nightlies/herbie/batch-reconstruct-alt/src/core/mainloop.rkt	70	0
run-improve!	/home/nightlies/herbie/batch-reconstruct-alt/src/core/mainloop.rkt	42	0
get-alternatives	/home/nightlies/herbie/batch-reconstruct-alt/src/api/sandbox.rkt	61	0
(unnamed)	/home/nightlies/herbie/batch-reconstruct-alt/src/api/sandbox.rkt	181	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/batch-reconstruct-alt/src/api/sandbox.rkt	197	2
(unnamed)	/usr/share/racket/collects/racket/engine.rkt	42	24