\[\left(\frac{1}{\sqrt{\pi}} \cdot e^{\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\left(\frac{1}{\left|x\right|} + \frac{1}{2} \cdot \left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right) + \frac{3}{4} \cdot \left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right) + \frac{15}{8} \cdot \left(\left(\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right)\]

\left(\frac{1}{\sqrt{\pi}} \cdot e^{\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\left(\frac{1}{\left|x\right|} + \frac{1}{2} \cdot \left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right) + \frac{3}{4} \cdot \left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right) + \frac{15}{8} \cdot \left(\left(\left(\left(\left(\left(\frac{1}{\left|x\right|} \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right) \cdot \frac{1}{\left|x\right|}\right)\right)

double f(double x) {
        double r87646 = 1.0;
        double r87647 = atan2(1.0, 0.0);
        double r87648 = sqrt(r87647);
        double r87649 = r87646 / r87648;
        double r87650 = x;
        double r87651 = fabs(r87650);
        double r87652 = r87651 * r87651;
        double r87653 = exp(r87652);
        double r87654 = r87649 * r87653;
        double r87655 = r87646 / r87651;
        double r87656 = 2.0;
        double r87657 = r87646 / r87656;
        double r87658 = r87655 * r87655;
        double r87659 = r87658 * r87655;
        double r87660 = r87657 * r87659;
        double r87661 = r87655 + r87660;
        double r87662 = 3.0;
        double r87663 = 4.0;
        double r87664 = r87662 / r87663;
        double r87665 = r87659 * r87655;
        double r87666 = r87665 * r87655;
        double r87667 = r87664 * r87666;
        double r87668 = r87661 + r87667;
        double r87669 = 15.0;
        double r87670 = 8.0;
        double r87671 = r87669 / r87670;
        double r87672 = r87666 * r87655;
        double r87673 = r87672 * r87655;
        double r87674 = r87671 * r87673;
        double r87675 = r87668 + r87674;
        double r87676 = r87654 * r87675;
        return r87676;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019194 +o rules:numerics
(FPCore (x)
  :name "Jmat.Real.erfi, branch x greater than or equal to 5"
  (* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))))))

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
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