2-ancestry mixing, zero discriminant

Specification

?
\[\sqrt[3]{\frac{g}{2 \cdot a}} \]
(FPCore (g a)
  :precision binary64
  :pre TRUE
  (cbrt (/ g (* 2.0 a))))
double code(double g, double a) {
	return cbrt((g / (2.0 * a)));
}
public static double code(double g, double a) {
	return Math.cbrt((g / (2.0 * a)));
}
function code(g, a)
	return cbrt(Float64(g / Float64(2.0 * a)))
end
code[g_, a_] := N[Power[N[(g / N[(2.0 * a), $MachinePrecision]), $MachinePrecision], 1/3], $MachinePrecision]
f(g, a):
	g in [-inf, +inf],
	a in [-inf, +inf]
code: THEORY
BEGIN
f(g, a: real): real =
	(g / ((2) * a)) ^ ((1) / (3))
END code
\sqrt[3]{\frac{g}{2 \cdot a}}

Timeout after 2.5min

Use the --timeout flag to change the timeout.