Average Error: 0.0 → 0.0
Time: 11.3s
Precision: 64
\[e^{\left(x + y \cdot \log y\right) - z}\]
↓
\[e^{\left(\log y \cdot y + x\right) - z}\]
e^{\left(x + y \cdot \log y\right) - z}
↓
e^{\left(\log y \cdot y + x\right) - z}
double f(double x, double y, double z) {
        double r14949601 = x;
        double r14949602 = y;
        double r14949603 = log(r14949602);
        double r14949604 = r14949602 * r14949603;
        double r14949605 = r14949601 + r14949604;
        double r14949606 = z;
        double r14949607 = r14949605 - r14949606;
        double r14949608 = exp(r14949607);
        return r14949608;
}
↓
double f(double x, double y, double z) {
        double r14949609 = y;
        double r14949610 = log(r14949609);
        double r14949611 = r14949610 * r14949609;
        double r14949612 = x;
        double r14949613 = r14949611 + r14949612;
        double r14949614 = z;
        double r14949615 = r14949613 - r14949614;
        double r14949616 = exp(r14949615);
        return r14949616;
}

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

Target

Original0.0
Target0.0
Herbie0.0
\[e^{\left(x - z\right) + \log y \cdot y}\]

Derivation

  1. Initial program 0.0

    \[e^{\left(x + y \cdot \log y\right) - z}\]

  2. Final simplification0.0

    \[\leadsto e^{\left(\log y \cdot y + x\right) - z}\]

Reproduce

herbie shell --seed 2019168 
(FPCore (x y z)
  :name "Statistics.Distribution.Poisson.Internal:probability from math-functions-0.1.5.2"

  :herbie-target
  (exp (+ (- x z) (* (log y) y)))

  (exp (- (+ x (* y (log y))) z)))