Average Error: 0.0 → 0.0
Time: 8.9s
Precision: 64
\[\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.9189385332046730026078762421093415468931\]
↓
\[\left(\left(y - 1\right) \cdot x - 0.5 \cdot y\right) + 0.9189385332046730026078762421093415468931\]
\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.9189385332046730026078762421093415468931
↓
\left(\left(y - 1\right) \cdot x - 0.5 \cdot y\right) + 0.9189385332046730026078762421093415468931
double f(double x, double y) {
        double r2826144 = x;
        double r2826145 = y;
        double r2826146 = 1.0;
        double r2826147 = r2826145 - r2826146;
        double r2826148 = r2826144 * r2826147;
        double r2826149 = 0.5;
        double r2826150 = r2826145 * r2826149;
        double r2826151 = r2826148 - r2826150;
        double r2826152 = 0.918938533204673;
        double r2826153 = r2826151 + r2826152;
        return r2826153;
}
↓
double f(double x, double y) {
        double r2826154 = y;
        double r2826155 = 1.0;
        double r2826156 = r2826154 - r2826155;
        double r2826157 = x;
        double r2826158 = r2826156 * r2826157;
        double r2826159 = 0.5;
        double r2826160 = r2826159 * r2826154;
        double r2826161 = r2826158 - r2826160;
        double r2826162 = 0.918938533204673;
        double r2826163 = r2826161 + r2826162;
        return r2826163;
}

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(\left(y - 1\right) \cdot x - 0.5 \cdot y\right) + 0.9189385332046730026078762421093415468931\]

Reproduce

herbie shell --seed 2019171 
(FPCore (x y)
  :name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2, A"
  (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673))