Average Error: 0.0 → 0.0
Time: 5.8s
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 r3229329 = x;
        double r3229330 = y;
        double r3229331 = 1.0;
        double r3229332 = r3229330 - r3229331;
        double r3229333 = r3229329 * r3229332;
        double r3229334 = 0.5;
        double r3229335 = r3229330 * r3229334;
        double r3229336 = r3229333 - r3229335;
        double r3229337 = 0.918938533204673;
        double r3229338 = r3229336 + r3229337;
        return r3229338;
}
↓
double f(double x, double y) {
        double r3229339 = x;
        double r3229340 = y;
        double r3229341 = 1.0;
        double r3229342 = r3229340 - r3229341;
        double r3229343 = r3229339 * r3229342;
        double r3229344 = 0.5;
        double r3229345 = r3229340 * r3229344;
        double r3229346 = r3229343 - r3229345;
        double r3229347 = 0.918938533204673;
        double r3229348 = r3229346 + r3229347;
        return r3229348;
}

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 2019174 
(FPCore (x y)
  :name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2, A"
  (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673))