Average Error: 0.0 → 0.0
Time: 3.1s
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 r59527 = x;
        double r59528 = y;
        double r59529 = 1.0;
        double r59530 = r59528 - r59529;
        double r59531 = r59527 * r59530;
        double r59532 = 0.5;
        double r59533 = r59528 * r59532;
        double r59534 = r59531 - r59533;
        double r59535 = 0.918938533204673;
        double r59536 = r59534 + r59535;
        return r59536;
}
↓
double f(double x, double y) {
        double r59537 = x;
        double r59538 = y;
        double r59539 = 1.0;
        double r59540 = r59538 - r59539;
        double r59541 = r59537 * r59540;
        double r59542 = 0.5;
        double r59543 = r59538 * r59542;
        double r59544 = r59541 - r59543;
        double r59545 = 0.918938533204673;
        double r59546 = r59544 + r59545;
        return r59546;
}

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 2019350 
(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))