Average Error: 0.0 → 0.0
Time: 5.5s
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 r13958997 = x;
        double r13958998 = y;
        double r13958999 = r13958997 * r13958998;
        double r13959000 = 2.0;
        double r13959001 = r13958999 / r13959000;
        double r13959002 = z;
        double r13959003 = 8.0;
        double r13959004 = r13959002 / r13959003;
        double r13959005 = r13959001 - r13959004;
        return r13959005;
}
↓
double f(double x, double y, double z) {
        double r13959006 = x;
        double r13959007 = y;
        double r13959008 = r13959006 * r13959007;
        double r13959009 = 2.0;
        double r13959010 = r13959008 / r13959009;
        double r13959011 = z;
        double r13959012 = 8.0;
        double r13959013 = r13959011 / r13959012;
        double r13959014 = r13959010 - r13959013;
        return r13959014;
}

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