\[\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 r145766 = 4.0;
        double r145767 = 3.0;
        double r145768 = atan2(1.0, 0.0);
        double r145769 = r145767 * r145768;
        double r145770 = 1.0;
        double r145771 = v;
        double r145772 = r145771 * r145771;
        double r145773 = r145770 - r145772;
        double r145774 = r145769 * r145773;
        double r145775 = 2.0;
        double r145776 = 6.0;
        double r145777 = r145776 * r145772;
        double r145778 = r145775 - r145777;
        double r145779 = sqrt(r145778);
        double r145780 = r145774 * r145779;
        double r145781 = r145766 / r145780;
        return r145781;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019196 +o rules:numerics
(FPCore (v)
  :name "Falkner and Boettcher, Equation (22+)"
  (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))))

Backtrace

get-representation: Unknown representation #f		L	C
(unnamed)	/data/pavpan/nightlies/herbie/master/src/core/localize.rkt	23	13
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
map	/opt/racket-7.0/collects/racket/private/map.rkt	35	13
parse-loop30	/opt/racket-7.0/collects/racket/match/compiler.rkt	418	15
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
map	/opt/racket-7.0/collects/racket/private/map.rkt	35	13
parse-loop30	/opt/racket-7.0/collects/racket/match/compiler.rkt	418	15
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
map	/opt/racket-7.0/collects/racket/private/map.rkt	35	13
parse-loop30	/opt/racket-7.0/collects/racket/match/compiler.rkt	418	15
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
map	/opt/racket-7.0/collects/racket/private/map.rkt	35	13
parse-loop30	/opt/racket-7.0/collects/racket/match/compiler.rkt	418	15
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
localize-error	/data/pavpan/nightlies/herbie/master/src/core/localize.rkt	61	0
localize!	/data/pavpan/nightlies/herbie/master/src/mainloop.rkt	123	0
run-iter!	/data/pavpan/nightlies/herbie/master/src/mainloop.rkt	323	0
for-loop	/data/pavpan/nightlies/herbie/master/src/mainloop.rkt	359	4
run-improve47	/data/pavpan/nightlies/herbie/master/src/mainloop.rkt	342	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28