Average Error: 0.0 → 0.0
Time: 1.7s
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 r150605 = x;
        double r150606 = y;
        double r150607 = r150605 * r150606;
        double r150608 = 2.0;
        double r150609 = r150607 / r150608;
        double r150610 = z;
        double r150611 = 8.0;
        double r150612 = r150610 / r150611;
        double r150613 = r150609 - r150612;
        return r150613;
}
↓
double f(double x, double y, double z) {
        double r150614 = x;
        double r150615 = y;
        double r150616 = r150614 * r150615;
        double r150617 = 2.0;
        double r150618 = r150616 / r150617;
        double r150619 = z;
        double r150620 = 8.0;
        double r150621 = r150619 / r150620;
        double r150622 = r150618 - r150621;
        return r150622;
}

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 2019212 
(FPCore (x y z)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, D"
  :precision binary64
  (- (/ (* x y) 2) (/ z 8)))