Average Error: 0.0 → 0.0
Time: 36.0s
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 r42057 = x;
        double r42058 = y;
        double r42059 = 1.0;
        double r42060 = r42058 - r42059;
        double r42061 = r42057 * r42060;
        double r42062 = 0.5;
        double r42063 = r42058 * r42062;
        double r42064 = r42061 - r42063;
        double r42065 = 0.918938533204673;
        double r42066 = r42064 + r42065;
        return r42066;
}
↓
double f(double x, double y) {
        double r42067 = x;
        double r42068 = y;
        double r42069 = 1.0;
        double r42070 = r42068 - r42069;
        double r42071 = r42067 * r42070;
        double r42072 = 0.5;
        double r42073 = r42068 * r42072;
        double r42074 = r42071 - r42073;
        double r42075 = 0.918938533204673;
        double r42076 = r42074 + r42075;
        return r42076;
}

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