Average Error: 0.0 → 0.0
Time: 510.0ms
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 r71072 = x;
        double r71073 = y;
        double r71074 = r71072 * r71073;
        double r71075 = 2.0;
        double r71076 = r71074 / r71075;
        double r71077 = z;
        double r71078 = 8.0;
        double r71079 = r71077 / r71078;
        double r71080 = r71076 - r71079;
        return r71080;
}
↓
double f(double x, double y, double z) {
        double r71081 = x;
        double r71082 = y;
        double r71083 = r71081 * r71082;
        double r71084 = 2.0;
        double r71085 = r71083 / r71084;
        double r71086 = z;
        double r71087 = 8.0;
        double r71088 = r71086 / r71087;
        double r71089 = r71085 - r71088;
        return r71089;
}

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