Average Error: 0.0 → 0.0
Time: 6.3s
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 r51382 = x;
        double r51383 = y;
        double r51384 = 1.0;
        double r51385 = r51383 - r51384;
        double r51386 = r51382 * r51385;
        double r51387 = 0.5;
        double r51388 = r51383 * r51387;
        double r51389 = r51386 - r51388;
        double r51390 = 0.918938533204673;
        double r51391 = r51389 + r51390;
        return r51391;
}
↓
double f(double x, double y) {
        double r51392 = x;
        double r51393 = y;
        double r51394 = 1.0;
        double r51395 = r51393 - r51394;
        double r51396 = r51392 * r51395;
        double r51397 = 0.5;
        double r51398 = r51393 * r51397;
        double r51399 = r51396 - r51398;
        double r51400 = 0.918938533204673;
        double r51401 = r51399 + r51400;
        return r51401;
}

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 2019303 
(FPCore (x y)
  :name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2, A"
  :precision binary64
  (+ (- (* x (- y 1)) (* y 0.5)) 0.918938533204673003))