Average Error: 0.1 → 0.1
Time: 18.6s
Precision: 64
\[\left(x \cdot \log y - z\right) - y\]
↓
\[\left(x \cdot \log y - z\right) - y\]
\left(x \cdot \log y - z\right) - y
↓
\left(x \cdot \log y - z\right) - y
double f(double x, double y, double z) {
        double r35537 = x;
        double r35538 = y;
        double r35539 = log(r35538);
        double r35540 = r35537 * r35539;
        double r35541 = z;
        double r35542 = r35540 - r35541;
        double r35543 = r35542 - r35538;
        return r35543;
}
↓
double f(double x, double y, double z) {
        double r35544 = x;
        double r35545 = y;
        double r35546 = log(r35545);
        double r35547 = r35544 * r35546;
        double r35548 = z;
        double r35549 = r35547 - r35548;
        double r35550 = r35549 - r35545;
        return r35550;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\left(x \cdot \log y - z\right) - y\]

  2. Final simplification0.1

    \[\leadsto \left(x \cdot \log y - z\right) - y\]

Reproduce

herbie shell --seed 2019235 +o rules:numerics
(FPCore (x y z)
  :name "Statistics.Distribution.Poisson:$clogProbability from math-functions-0.1.5.2"
  :precision binary64
  (- (- (* x (log y)) z) y))