Average Error: 0.0 → 0.0
Time: 4.7s
Precision: 64
\[\frac{x \cdot y}{2} - \frac{z}{8}\]
↓
\[\frac{y \cdot x}{2} - \frac{z}{8}\]
\frac{x \cdot y}{2} - \frac{z}{8}
↓
\frac{y \cdot x}{2} - \frac{z}{8}
double f(double x, double y, double z) {
        double r10469769 = x;
        double r10469770 = y;
        double r10469771 = r10469769 * r10469770;
        double r10469772 = 2.0;
        double r10469773 = r10469771 / r10469772;
        double r10469774 = z;
        double r10469775 = 8.0;
        double r10469776 = r10469774 / r10469775;
        double r10469777 = r10469773 - r10469776;
        return r10469777;
}
↓
double f(double x, double y, double z) {
        double r10469778 = y;
        double r10469779 = x;
        double r10469780 = r10469778 * r10469779;
        double r10469781 = 2.0;
        double r10469782 = r10469780 / r10469781;
        double r10469783 = z;
        double r10469784 = 8.0;
        double r10469785 = r10469783 / r10469784;
        double r10469786 = r10469782 - r10469785;
        return r10469786;
}

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{y \cdot x}{2} - \frac{z}{8}\]

Reproduce

herbie shell --seed 2019200 
(FPCore (x y z)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, D"
  (- (/ (* x y) 2.0) (/ z 8.0)))