Exception for Falkner and Boettcher, Equation (22+)

Math

\[\frac{4}{\left(\left(3 \cdot \pi\right) \cdot \left(1 - v \cdot v\right)\right) \cdot \sqrt{2 - 6 \cdot \left(v \cdot v\right)}} \]

FPCore

(FPCore (v)
 :precision binary64
 (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))))

C

double code(double v) {
	return 4.0 / (((3.0 * ((double) M_PI)) * (1.0 - (v * v))) * sqrt((2.0 - (6.0 * (v * v)))));
}

Java

public static double code(double v) {
	return 4.0 / (((3.0 * Math.PI) * (1.0 - (v * v))) * Math.sqrt((2.0 - (6.0 * (v * v)))));
}

Python

def code(v):
	return 4.0 / (((3.0 * math.pi) * (1.0 - (v * v))) * math.sqrt((2.0 - (6.0 * (v * v)))))

Julia

function code(v)
	return Float64(4.0 / Float64(Float64(Float64(3.0 * pi) * Float64(1.0 - Float64(v * v))) * sqrt(Float64(2.0 - Float64(6.0 * Float64(v * v))))))
end

MATLAB

function tmp = code(v)
	tmp = 4.0 / (((3.0 * pi) * (1.0 - (v * v))) * sqrt((2.0 - (6.0 * (v * v)))));
end

Wolfram

code[v_] := N[(4.0 / N[(N[(N[(3.0 * Pi), $MachinePrecision] * N[(1.0 - N[(v * v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[Sqrt[N[(2.0 - N[(6.0 * N[(v * v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2022193 
(FPCore (v)
  :name "Falkner and Boettcher, Equation (22+)"
  :precision binary64
  (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))))

Backtrace

hash-ref: no value found for key key: '~		L	C
(unnamed)	/data/pavpan/nightlies/herbie/ruler-arith/src/syntax/syntax.rkt	202	2
f337	.../match/compiler.rkt	548	40
f337	.../match/compiler.rkt	548	40
expand-parametric	/data/pavpan/nightlies/herbie/ruler-arith/src/syntax/sugar.rkt	62	0
(unnamed)	/data/pavpan/nightlies/herbie/ruler-arith/src/syntax/rules.rkt	175	8
generate-rules-for	/data/pavpan/nightlies/herbie/ruler-arith/src/syntax/rules.rkt	160	0
generate-missing-rules	/data/pavpan/nightlies/herbie/ruler-arith/src/syntax/rules.rkt	186	0
(unnamed)	/data/pavpan/nightlies/herbie/ruler-arith/src/syntax/rules.rkt	30	26
get-swaps	/data/pavpan/nightlies/herbie/ruler-arith/src/symmetry.rkt	6	0
connected-components	/data/pavpan/nightlies/herbie/ruler-arith/src/symmetry.rkt	17	0
run-improve!	/data/pavpan/nightlies/herbie/ruler-arith/src/mainloop.rkt	317	0
(unnamed)	/data/pavpan/nightlies/herbie/ruler-arith/src/sandbox.rkt	56	6
(unnamed)	/usr/share/racket/pkgs/profile-lib/main.rkt	40	10
profile-thunk	/usr/share/racket/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/usr/share/racket/collects/racket/engine.rkt	42	24