Average Error: 0.0 → 0.0
Time: 7.3s
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 r162170 = x;
        double r162171 = y;
        double r162172 = r162170 * r162171;
        double r162173 = 2.0;
        double r162174 = r162172 / r162173;
        double r162175 = z;
        double r162176 = 8.0;
        double r162177 = r162175 / r162176;
        double r162178 = r162174 - r162177;
        return r162178;
}
↓
double f(double x, double y, double z) {
        double r162179 = x;
        double r162180 = y;
        double r162181 = r162179 * r162180;
        double r162182 = 2.0;
        double r162183 = r162181 / r162182;
        double r162184 = z;
        double r162185 = 8.0;
        double r162186 = r162184 / r162185;
        double r162187 = r162183 - r162186;
        return r162187;
}

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