Average Error: 0.0 → 0.0
Time: 837.0ms
Precision: 64
\[\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.918938533204673003\]
↓
\[\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.918938533204673003\]
\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.918938533204673003
↓
\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.918938533204673003
double f(double x, double y) {
        double r60997 = x;
        double r60998 = y;
        double r60999 = 1.0;
        double r61000 = r60998 - r60999;
        double r61001 = r60997 * r61000;
        double r61002 = 0.5;
        double r61003 = r60998 * r61002;
        double r61004 = r61001 - r61003;
        double r61005 = 0.918938533204673;
        double r61006 = r61004 + r61005;
        return r61006;
}
↓
double f(double x, double y) {
        double r61007 = x;
        double r61008 = y;
        double r61009 = 1.0;
        double r61010 = r61008 - r61009;
        double r61011 = r61007 * r61010;
        double r61012 = 0.5;
        double r61013 = r61008 * r61012;
        double r61014 = r61011 - r61013;
        double r61015 = 0.918938533204673;
        double r61016 = r61014 + r61015;
        return r61016;
}

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.918938533204673003\]

  2. Final simplification0.0

    \[\leadsto \left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.918938533204673003\]

Reproduce

herbie shell --seed 2020003 
(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))