\[\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)}}\]

\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)}}

double f(double v) {
        double r79751 = 4.0;
        double r79752 = 3.0;
        double r79753 = atan2(1.0, 0.0);
        double r79754 = r79752 * r79753;
        double r79755 = 1.0;
        double r79756 = v;
        double r79757 = r79756 * r79756;
        double r79758 = r79755 - r79757;
        double r79759 = r79754 * r79758;
        double r79760 = 2.0;
        double r79761 = 6.0;
        double r79762 = r79761 * r79757;
        double r79763 = r79760 - r79762;
        double r79764 = sqrt(r79763);
        double r79765 = r79759 * r79764;
        double r79766 = r79751 / r79765;
        return r79766;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020045 +o rules:numerics
(FPCore (v)
  :name "Falkner and Boettcher, Equation (22+)"
  :precision binary64
  (/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))))

Backtrace

hash-ref: no value found for key key: '(* #<enode 103(103)> #<enode 4(932)>)		L	C
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/egraph.rkt	270	6
update-leader!	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/egraph.rkt	265	0
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/main.rkt	77	2
prune-phase	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/main.rkt	74	0
for-loop	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt	80	4
for-loop	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt	76	2
(unnamed)	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt	56	0
(unnamed)	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/core/simplify.rkt	38	0
simplify!	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt	224	0
run-iter!	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt	327	0
for-loop	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt	365	4
run-improve47	/data/pavpan/nightlies/herbie/simplify-upwards-no-duplicates/src/mainloop.rkt	346	0
.../more-scheme.rkt:261:28	unknown
run	/opt/racket-7.5/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.5/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.5/collects/racket/private/more-scheme.rkt	261	28

Falling back on racket egraph because egg-herbie package not installed (more)

Reproduce

Backtrace