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

Average Error: 0.0 → 0.0

Time: 7.3s

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 r798740 = 1.0;
        double r798741 = 8.0;
        double r798742 = r798740 / r798741;
        double r798743 = x;
        double r798744 = r798742 * r798743;
        double r798745 = y;
        double r798746 = z;
        double r798747 = r798745 * r798746;
        double r798748 = 2.0;
        double r798749 = r798747 / r798748;
        double r798750 = r798744 - r798749;
        double r798751 = t;
        double r798752 = r798750 + r798751;
        return r798752;
}

↓

double f(double x, double y, double z, double t) {
        double r798753 = 1.0;
        double r798754 = 8.0;
        double r798755 = r798753 / r798754;
        double r798756 = x;
        double r798757 = r798755 * r798756;
        double r798758 = y;
        double r798759 = z;
        double r798760 = r798758 * r798759;
        double r798761 = 2.0;
        double r798762 = r798760 / r798761;
        double r798763 = r798757 - r798762;
        double r798764 = t;
        double r798765 = r798763 + r798764;
        return r798765;
}

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 2020060 +o rules:numerics
(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))