Average Error: 0.0 → 0.0
Time: 2.6s
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 r82815 = x;
        double r82816 = y;
        double r82817 = 1.0;
        double r82818 = r82816 - r82817;
        double r82819 = r82815 * r82818;
        double r82820 = 0.5;
        double r82821 = r82816 * r82820;
        double r82822 = r82819 - r82821;
        double r82823 = 0.918938533204673;
        double r82824 = r82822 + r82823;
        return r82824;
}
↓
double f(double x, double y) {
        double r82825 = x;
        double r82826 = y;
        double r82827 = 1.0;
        double r82828 = r82826 - r82827;
        double r82829 = r82825 * r82828;
        double r82830 = 0.5;
        double r82831 = r82826 * r82830;
        double r82832 = r82829 - r82831;
        double r82833 = 0.918938533204673;
        double r82834 = r82832 + r82833;
        return r82834;
}

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 2020062 
(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))