Average Error: 0.0 → 0.0
Time: 12.6s
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 r11488266 = x;
        double r11488267 = y;
        double r11488268 = r11488266 * r11488267;
        double r11488269 = 2.0;
        double r11488270 = r11488268 / r11488269;
        double r11488271 = z;
        double r11488272 = 8.0;
        double r11488273 = r11488271 / r11488272;
        double r11488274 = r11488270 - r11488273;
        return r11488274;
}
↓
double f(double x, double y, double z) {
        double r11488275 = x;
        double r11488276 = y;
        double r11488277 = r11488275 * r11488276;
        double r11488278 = 2.0;
        double r11488279 = r11488277 / r11488278;
        double r11488280 = z;
        double r11488281 = 8.0;
        double r11488282 = r11488280 / r11488281;
        double r11488283 = r11488279 - r11488282;
        return r11488283;
}

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