Average Error: 0.0 → 0.0
Time: 5.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 r184226 = x;
        double r184227 = y;
        double r184228 = r184226 * r184227;
        double r184229 = 2.0;
        double r184230 = r184228 / r184229;
        double r184231 = z;
        double r184232 = 8.0;
        double r184233 = r184231 / r184232;
        double r184234 = r184230 - r184233;
        return r184234;
}
↓
double f(double x, double y, double z) {
        double r184235 = x;
        double r184236 = y;
        double r184237 = r184235 * r184236;
        double r184238 = 2.0;
        double r184239 = r184237 / r184238;
        double r184240 = z;
        double r184241 = 8.0;
        double r184242 = r184240 / r184241;
        double r184243 = r184239 - r184242;
        return r184243;
}

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