Average Error: 0.0 → 0.0
Time: 3.6s
Precision: 64
\[\frac{x \cdot y}{2.0} - \frac{z}{8.0}\]
↓
\[\frac{x \cdot y}{2.0} - \frac{z}{8.0}\]
\frac{x \cdot y}{2.0} - \frac{z}{8.0}
↓
\frac{x \cdot y}{2.0} - \frac{z}{8.0}
double f(double x, double y, double z) {
        double r4521743 = x;
        double r4521744 = y;
        double r4521745 = r4521743 * r4521744;
        double r4521746 = 2.0;
        double r4521747 = r4521745 / r4521746;
        double r4521748 = z;
        double r4521749 = 8.0;
        double r4521750 = r4521748 / r4521749;
        double r4521751 = r4521747 - r4521750;
        return r4521751;
}
↓
double f(double x, double y, double z) {
        double r4521752 = x;
        double r4521753 = y;
        double r4521754 = r4521752 * r4521753;
        double r4521755 = 2.0;
        double r4521756 = r4521754 / r4521755;
        double r4521757 = z;
        double r4521758 = 8.0;
        double r4521759 = r4521757 / r4521758;
        double r4521760 = r4521756 - r4521759;
        return r4521760;
}

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.0} - \frac{z}{8.0}\]

  2. Final simplification0.0

    \[\leadsto \frac{x \cdot y}{2.0} - \frac{z}{8.0}\]

Reproduce

herbie shell --seed 2019156 
(FPCore (x y z)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, D"
  (- (/ (* x y) 2.0) (/ z 8.0)))