Average Error: 0.0 → 0.0
Time: 4.4s
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 r133202 = x;
        double r133203 = y;
        double r133204 = r133202 * r133203;
        double r133205 = 2.0;
        double r133206 = r133204 / r133205;
        double r133207 = z;
        double r133208 = 8.0;
        double r133209 = r133207 / r133208;
        double r133210 = r133206 - r133209;
        return r133210;
}
↓
double f(double x, double y, double z) {
        double r133211 = x;
        double r133212 = y;
        double r133213 = r133211 * r133212;
        double r133214 = 2.0;
        double r133215 = r133213 / r133214;
        double r133216 = z;
        double r133217 = 8.0;
        double r133218 = r133216 / r133217;
        double r133219 = r133215 - r133218;
        return r133219;
}

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