Average Error: 0.0 → 0.0
Time: 16.5s
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 r3354495 = x;
        double r3354496 = y;
        double r3354497 = 1.0;
        double r3354498 = r3354496 - r3354497;
        double r3354499 = r3354495 * r3354498;
        double r3354500 = 0.5;
        double r3354501 = r3354496 * r3354500;
        double r3354502 = r3354499 - r3354501;
        double r3354503 = 0.918938533204673;
        double r3354504 = r3354502 + r3354503;
        return r3354504;
}
↓
double f(double x, double y) {
        double r3354505 = y;
        double r3354506 = 1.0;
        double r3354507 = r3354505 - r3354506;
        double r3354508 = x;
        double r3354509 = r3354507 * r3354508;
        double r3354510 = 0.5;
        double r3354511 = r3354510 * r3354505;
        double r3354512 = r3354509 - r3354511;
        double r3354513 = 0.918938533204673;
        double r3354514 = r3354512 + r3354513;
        return r3354514;
}

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