Diagrams.Solve.Polynomial:quartForm from diagrams-solve-0.1, B

Average Error: 0.0 → 0.0

Time: 7.8s

Precision: 64

Math

\[\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\]

C

double f(double x, double y, double z, double t) {
        double r481788 = 1.0;
        double r481789 = 8.0;
        double r481790 = r481788 / r481789;
        double r481791 = x;
        double r481792 = r481790 * r481791;
        double r481793 = y;
        double r481794 = z;
        double r481795 = r481793 * r481794;
        double r481796 = 2.0;
        double r481797 = r481795 / r481796;
        double r481798 = r481792 - r481797;
        double r481799 = t;
        double r481800 = r481798 + r481799;
        return r481800;
}

↓

double f(double x, double y, double z, double t) {
        double r481801 = 1.0;
        double r481802 = 8.0;
        double r481803 = r481801 / r481802;
        double r481804 = x;
        double r481805 = r481803 * r481804;
        double r481806 = y;
        double r481807 = z;
        double r481808 = r481806 * r481807;
        double r481809 = 2.0;
        double r481810 = r481808 / r481809;
        double r481811 = r481805 - r481810;
        double r481812 = t;
        double r481813 = r481811 + r481812;
        return r481813;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Target

Original	0.0
Target	0.0
Herbie	0.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 simplification 0.0

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

Reproduce

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

  :herbie-target
  (- (+ (/ x 8) t) (* (/ z 2) y))

  (+ (- (* (/ 1 8) x) (/ (* y z) 2)) t))