Average Error: 0.0 → 0.0
Time: 2.7s
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 r11500008 = x;
        double r11500009 = y;
        double r11500010 = r11500008 * r11500009;
        double r11500011 = 2.0;
        double r11500012 = r11500010 / r11500011;
        double r11500013 = z;
        double r11500014 = 8.0;
        double r11500015 = r11500013 / r11500014;
        double r11500016 = r11500012 - r11500015;
        return r11500016;
}
↓
double f(double x, double y, double z) {
        double r11500017 = x;
        double r11500018 = y;
        double r11500019 = r11500017 * r11500018;
        double r11500020 = 2.0;
        double r11500021 = r11500019 / r11500020;
        double r11500022 = z;
        double r11500023 = 8.0;
        double r11500024 = r11500022 / r11500023;
        double r11500025 = r11500021 - r11500024;
        return r11500025;
}

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