Average Error: 0.0 → 0.0
Time: 2.9s
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 r245932 = x;
        double r245933 = y;
        double r245934 = r245932 * r245933;
        double r245935 = 2.0;
        double r245936 = r245934 / r245935;
        double r245937 = z;
        double r245938 = 8.0;
        double r245939 = r245937 / r245938;
        double r245940 = r245936 - r245939;
        return r245940;
}
↓
double f(double x, double y, double z) {
        double r245941 = x;
        double r245942 = y;
        double r245943 = r245941 * r245942;
        double r245944 = 2.0;
        double r245945 = r245943 / r245944;
        double r245946 = z;
        double r245947 = 8.0;
        double r245948 = r245946 / r245947;
        double r245949 = r245945 - r245948;
        return r245949;
}

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