\[x + \frac{y}{1.128379167095512558560699289955664426088 \cdot e^{z} - x \cdot y}\]

x + \frac{y}{1.128379167095512558560699289955664426088 \cdot e^{z} - x \cdot y}

double f(double x, double y, double z) {
        double r10173 = x;
        double r10174 = y;
        double r10175 = 1.1283791670955126;
        double r10176 = z;
        double r10177 = exp(r10176);
        double r10178 = r10175 * r10177;
        double r10179 = r10173 * r10174;
        double r10180 = r10178 - r10179;
        double r10181 = r10174 / r10180;
        double r10182 = r10173 + r10181;
        return r10182;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019173 +o rules:numerics
(FPCore (x y z)
  :name "Numeric.SpecFunctions:invErfc from math-functions-0.1.5.2, A"

  :herbie-target
  (+ x (/ 1.0 (- (* (/ 1.1283791670955126 y) (exp z)) x)))

  (+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y)))))

Backtrace

atab-pick-alt: contract violation expected: alt? given: '(#<alt (λ (x y z) (+ x (/ y (- (* (exp z) 1.1283791670955126) (* x y)))))>) in: the range of the #:picking-func argument of (-> alt-table? #:only-fresh boolean? #:picking-func (-> (listof alt?) alt?) (values alt? alt-table?)) contract from: /data/pavpan/nightlies/herbie/no-costs-2/src/core/alt-table.rkt blaming: /data/pavpan/nightlies/herbie/no-costs-2/src/mainloop.rkt (assuming the contract is correct) at: /data/pavpan/nightlies/herbie/no-costs-2/src/core/alt-table.rkt:13.3		L	C
raise-blame-error16	/opt/racket-7.0/collects/racket/contract/private/blame.rkt	347	0
(unnamed)	/data/pavpan/nightlies/herbie/no-costs-2/src/core/alt-table.rkt	59	0
(unnamed)	/opt/racket-7.0/collects/racket/contract/private/arrow-val-first.rkt	388	18
choose-best-alt!	/data/pavpan/nightlies/herbie/no-costs-2/src/mainloop.rkt	110	0
run-iter!	/data/pavpan/nightlies/herbie/no-costs-2/src/mainloop.rkt	319	0
for-loop	/data/pavpan/nightlies/herbie/no-costs-2/src/mainloop.rkt	353	4
run-improve43	/data/pavpan/nightlies/herbie/no-costs-2/src/mainloop.rkt	338	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