Average Error: 0.0 → 0.0
Time: 2.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 r62513 = x;
        double r62514 = y;
        double r62515 = 1.0;
        double r62516 = r62514 - r62515;
        double r62517 = r62513 * r62516;
        double r62518 = 0.5;
        double r62519 = r62514 * r62518;
        double r62520 = r62517 - r62519;
        double r62521 = 0.918938533204673;
        double r62522 = r62520 + r62521;
        return r62522;
}
↓
double f(double x, double y) {
        double r62523 = x;
        double r62524 = y;
        double r62525 = 1.0;
        double r62526 = r62524 - r62525;
        double r62527 = r62523 * r62526;
        double r62528 = 0.5;
        double r62529 = r62524 * r62528;
        double r62530 = r62527 - r62529;
        double r62531 = 0.918938533204673;
        double r62532 = r62530 + r62531;
        return r62532;
}

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