Average Error: 0.0 → 0.0
Time: 2.1s
Precision: 64
\[\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.918938533204673003\]
↓
\[\left(\left(x \cdot y + x \cdot \left(-1\right)\right) - y \cdot 0.5\right) + 0.918938533204673003\]
\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.918938533204673003
↓
\left(\left(x \cdot y + x \cdot \left(-1\right)\right) - y \cdot 0.5\right) + 0.918938533204673003
double f(double x, double y) {
        double r64698 = x;
        double r64699 = y;
        double r64700 = 1.0;
        double r64701 = r64699 - r64700;
        double r64702 = r64698 * r64701;
        double r64703 = 0.5;
        double r64704 = r64699 * r64703;
        double r64705 = r64702 - r64704;
        double r64706 = 0.918938533204673;
        double r64707 = r64705 + r64706;
        return r64707;
}
↓
double f(double x, double y) {
        double r64708 = x;
        double r64709 = y;
        double r64710 = r64708 * r64709;
        double r64711 = 1.0;
        double r64712 = -r64711;
        double r64713 = r64708 * r64712;
        double r64714 = r64710 + r64713;
        double r64715 = 0.5;
        double r64716 = r64709 * r64715;
        double r64717 = r64714 - r64716;
        double r64718 = 0.918938533204673;
        double r64719 = r64717 + r64718;
        return r64719;
}

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. Using strategy rm

  3. Applied sub-neg0.0

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

  4. Applied distribute-lft-in0.0

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

  5. Final simplification0.0

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

Reproduce

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