Exception for Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2, D

Math

\[x + \frac{y \cdot \left(\left(\left(\left(z \cdot 3.130605476229999961645944495103321969509 + 11.16675412620000074070958362426608800888\right) \cdot z + t\right) \cdot z + a\right) \cdot z + b\right)}{\left(\left(\left(z + 15.2346874069999991263557603815570473671\right) \cdot z + 31.46901157490000144889563671313226222992\right) \cdot z + 11.94009057210000079862766142468899488449\right) \cdot z + 0.6077713877710000378584709324059076607227}\]

C

double f(double x, double y, double z, double t, double a, double b) {
        double r9759 = x;
        double r9760 = y;
        double r9761 = z;
        double r9762 = 3.13060547623;
        double r9763 = r9761 * r9762;
        double r9764 = 11.1667541262;
        double r9765 = r9763 + r9764;
        double r9766 = r9765 * r9761;
        double r9767 = t;
        double r9768 = r9766 + r9767;
        double r9769 = r9768 * r9761;
        double r9770 = a;
        double r9771 = r9769 + r9770;
        double r9772 = r9771 * r9761;
        double r9773 = b;
        double r9774 = r9772 + r9773;
        double r9775 = r9760 * r9774;
        double r9776 = 15.234687407;
        double r9777 = r9761 + r9776;
        double r9778 = r9777 * r9761;
        double r9779 = 31.4690115749;
        double r9780 = r9778 + r9779;
        double r9781 = r9780 * r9761;
        double r9782 = 11.9400905721;
        double r9783 = r9781 + r9782;
        double r9784 = r9783 * r9761;
        double r9785 = 0.607771387771;
        double r9786 = r9784 + r9785;
        double r9787 = r9775 / r9786;
        double r9788 = r9759 + r9787;
        return r9788;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019173 +o rules:numerics
(FPCore (x y z t a b)
  :name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2, D"

  :herbie-target
  (if (< z -6.499344996252632e+53) (+ x (* (+ (- 3.13060547623 (/ 36.527041698806414 z)) (/ t (* z z))) (/ y 1.0))) (if (< z 7.066965436914287e+59) (+ x (/ y (/ (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771) (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)))) (+ x (* (+ (- 3.13060547623 (/ 36.527041698806414 z)) (/ t (* z z))) (/ y 1.0)))))

  (+ x (/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))))

Backtrace

atab-pick-alt: contract violation expected: alt? given: '(#<alt (λ (x y z t a b) (fma y (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)) x))>) 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