Average Error: 0.0 → 0.0
Time: 2.0s
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 r174997 = x;
        double r174998 = y;
        double r174999 = r174997 * r174998;
        double r175000 = 2.0;
        double r175001 = r174999 / r175000;
        double r175002 = z;
        double r175003 = 8.0;
        double r175004 = r175002 / r175003;
        double r175005 = r175001 - r175004;
        return r175005;
}
↓
double f(double x, double y, double z) {
        double r175006 = x;
        double r175007 = y;
        double r175008 = r175006 * r175007;
        double r175009 = 2.0;
        double r175010 = r175008 / r175009;
        double r175011 = z;
        double r175012 = 8.0;
        double r175013 = r175011 / r175012;
        double r175014 = r175010 - r175013;
        return r175014;
}

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