Average Error: 0.0 → 0.0
Time: 43.0s
Precision: 64
\[\left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t\]
↓
\[\left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t\]
\left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t
↓
\left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t
double f(double x, double y, double z, double t) {
        double r37337550 = 1.0;
        double r37337551 = 8.0;
        double r37337552 = r37337550 / r37337551;
        double r37337553 = x;
        double r37337554 = r37337552 * r37337553;
        double r37337555 = y;
        double r37337556 = z;
        double r37337557 = r37337555 * r37337556;
        double r37337558 = 2.0;
        double r37337559 = r37337557 / r37337558;
        double r37337560 = r37337554 - r37337559;
        double r37337561 = t;
        double r37337562 = r37337560 + r37337561;
        return r37337562;
}
↓
double f(double x, double y, double z, double t) {
        double r37337563 = 1.0;
        double r37337564 = 8.0;
        double r37337565 = r37337563 / r37337564;
        double r37337566 = x;
        double r37337567 = r37337565 * r37337566;
        double r37337568 = y;
        double r37337569 = z;
        double r37337570 = r37337568 * r37337569;
        double r37337571 = 2.0;
        double r37337572 = r37337570 / r37337571;
        double r37337573 = r37337567 - r37337572;
        double r37337574 = t;
        double r37337575 = r37337573 + r37337574;
        return r37337575;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original0.0
Target0.0
Herbie0.0
\[\left(\frac{x}{8} + t\right) - \frac{z}{2} \cdot y\]

Derivation

  1. Initial program 0.0

    \[\left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t\]

  2. Final simplification0.0

    \[\leadsto \left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t\]

Reproduce

herbie shell --seed 2019200 
(FPCore (x y z t)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, B"

  :herbie-target
  (- (+ (/ x 8.0) t) (* (/ z 2.0) y))

  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))