Average Error: 0.0 → 0.0
Time: 5.8s
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 r215064 = x;
        double r215065 = y;
        double r215066 = r215064 * r215065;
        double r215067 = 2.0;
        double r215068 = r215066 / r215067;
        double r215069 = z;
        double r215070 = 8.0;
        double r215071 = r215069 / r215070;
        double r215072 = r215068 - r215071;
        return r215072;
}
↓
double f(double x, double y, double z) {
        double r215073 = x;
        double r215074 = y;
        double r215075 = r215073 * r215074;
        double r215076 = 2.0;
        double r215077 = r215075 / r215076;
        double r215078 = z;
        double r215079 = 8.0;
        double r215080 = r215078 / r215079;
        double r215081 = r215077 - r215080;
        return r215081;
}

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