Average Error: 0.0 → 0.0
Time: 5.2s
Precision: 64
\[\frac{x \cdot y}{2} - \frac{z}{8}\]
↓
\[\frac{x \cdot y}{2} - \frac{z}{8}\]
\frac{x \cdot y}{2} - \frac{z}{8}
↓
\frac{x \cdot y}{2} - \frac{z}{8}
double f(double x, double y, double z) {
        double r188577 = x;
        double r188578 = y;
        double r188579 = r188577 * r188578;
        double r188580 = 2.0;
        double r188581 = r188579 / r188580;
        double r188582 = z;
        double r188583 = 8.0;
        double r188584 = r188582 / r188583;
        double r188585 = r188581 - r188584;
        return r188585;
}
↓
double f(double x, double y, double z) {
        double r188586 = x;
        double r188587 = y;
        double r188588 = r188586 * r188587;
        double r188589 = 2.0;
        double r188590 = r188588 / r188589;
        double r188591 = z;
        double r188592 = 8.0;
        double r188593 = r188591 / r188592;
        double r188594 = r188590 - r188593;
        return r188594;
}

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.0

    \[\frac{x \cdot y}{2} - \frac{z}{8}\]

  2. Final simplification0.0

    \[\leadsto \frac{x \cdot y}{2} - \frac{z}{8}\]

Reproduce

herbie shell --seed 2019325 +o rules:numerics
(FPCore (x y z)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, D"
  :precision binary64
  (- (/ (* x y) 2) (/ z 8)))