\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922227999963610045597306452691555 + 78.69949241540000173245061887428164482117\right) \cdot x + 137.5194164160000127594685181975364685059\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514000013984514225739985704422\right) \cdot x + 263.5050747210000281484099105000495910645\right) \cdot x + 313.3992158940000081202015280723571777344\right) \cdot x + 47.06687660600000100430406746454536914825}double f(double x, double y, double z) {
double r8776 = x;
double r8777 = 2.0;
double r8778 = r8776 - r8777;
double r8779 = 4.16438922228;
double r8780 = r8776 * r8779;
double r8781 = 78.6994924154;
double r8782 = r8780 + r8781;
double r8783 = r8782 * r8776;
double r8784 = 137.519416416;
double r8785 = r8783 + r8784;
double r8786 = r8785 * r8776;
double r8787 = y;
double r8788 = r8786 + r8787;
double r8789 = r8788 * r8776;
double r8790 = z;
double r8791 = r8789 + r8790;
double r8792 = r8778 * r8791;
double r8793 = 43.3400022514;
double r8794 = r8776 + r8793;
double r8795 = r8794 * r8776;
double r8796 = 263.505074721;
double r8797 = r8795 + r8796;
double r8798 = r8797 * r8776;
double r8799 = 313.399215894;
double r8800 = r8798 + r8799;
double r8801 = r8800 * r8776;
double r8802 = 47.066876606;
double r8803 = r8801 + r8802;
double r8804 = r8792 / r8803;
return r8804;
}
Please include this information when filing a bug report:
herbie shell --seed 2019191
(FPCore (x y z)
:name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2, C"
:herbie-target
(if (< x -3.326128725870005e+62) (- (+ (/ y (* x x)) (* 4.16438922228 x)) 110.1139242984811) (if (< x 9.429991714554673e+55) (* (/ (- x 2.0) 1.0) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (+ (* 263.505074721 x) (+ (* 43.3400022514 (* x x)) (* x (* x x)))) 313.399215894) x) 47.066876606))) (- (+ (/ y (* x x)) (* 4.16438922228 x)) 110.1139242984811)))
(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
| get-representation: Unknown representation #f | L | C | |
|---|---|---|---|
| loop | /data/pavpan/nightlies/herbie/interface2/src/points.rkt | 122 | 4 |
| prepare-points | /data/pavpan/nightlies/herbie/interface2/src/points.rkt | 146 | 0 |
| setup-prog!34 | /data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt | 67 | 0 |
| run-improve43 | /data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt | 339 | 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 |