Average Error: 0.0 → 0.0
Time: 4.5s
Precision: 64
\[\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.9189385332046730026078762421093415468931\]
↓
\[\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.9189385332046730026078762421093415468931\]
\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.9189385332046730026078762421093415468931
↓
\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.9189385332046730026078762421093415468931
double f(double x, double y) {
        double r49353 = x;
        double r49354 = y;
        double r49355 = 1.0;
        double r49356 = r49354 - r49355;
        double r49357 = r49353 * r49356;
        double r49358 = 0.5;
        double r49359 = r49354 * r49358;
        double r49360 = r49357 - r49359;
        double r49361 = 0.918938533204673;
        double r49362 = r49360 + r49361;
        return r49362;
}
↓
double f(double x, double y) {
        double r49363 = x;
        double r49364 = y;
        double r49365 = 1.0;
        double r49366 = r49364 - r49365;
        double r49367 = r49363 * r49366;
        double r49368 = 0.5;
        double r49369 = r49364 * r49368;
        double r49370 = r49367 - r49369;
        double r49371 = 0.918938533204673;
        double r49372 = r49370 + r49371;
        return r49372;
}

Error

Bits error versus x

Bits error versus y

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.9189385332046730026078762421093415468931\]

  2. Final simplification0.0

    \[\leadsto \left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.9189385332046730026078762421093415468931\]

Reproduce

herbie shell --seed 2019326 
(FPCore (x y)
  :name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2, A"
  :precision binary64
  (+ (- (* x (- y 1)) (* y 0.5)) 0.918938533204673))