Average Error: 0.0 → 0.0
Time: 965.0ms
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 r65724 = x;
        double r65725 = y;
        double r65726 = 1.0;
        double r65727 = r65725 - r65726;
        double r65728 = r65724 * r65727;
        double r65729 = 0.5;
        double r65730 = r65725 * r65729;
        double r65731 = r65728 - r65730;
        double r65732 = 0.918938533204673;
        double r65733 = r65731 + r65732;
        return r65733;
}
↓
double f(double x, double y) {
        double r65734 = x;
        double r65735 = y;
        double r65736 = 1.0;
        double r65737 = r65735 - r65736;
        double r65738 = r65734 * r65737;
        double r65739 = 0.5;
        double r65740 = r65735 * r65739;
        double r65741 = r65738 - r65740;
        double r65742 = 0.918938533204673;
        double r65743 = r65741 + r65742;
        return r65743;
}

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 2019352 +o rules:numerics
(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))