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

Average Error: 0.0 → 0.0

Time: 5.5s

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 r55801 = 1.0;
        double r55802 = 8.0;
        double r55803 = r55801 / r55802;
        double r55804 = x;
        double r55805 = r55803 * r55804;
        double r55806 = y;
        double r55807 = z;
        double r55808 = r55806 * r55807;
        double r55809 = 2.0;
        double r55810 = r55808 / r55809;
        double r55811 = r55805 - r55810;
        double r55812 = t;
        double r55813 = r55811 + r55812;
        return r55813;
}

↓

double f(double x, double y, double z, double t) {
        double r55814 = 1.0;
        double r55815 = 8.0;
        double r55816 = r55814 / r55815;
        double r55817 = x;
        double r55818 = r55816 * r55817;
        double r55819 = y;
        double r55820 = z;
        double r55821 = r55819 * r55820;
        double r55822 = 2.0;
        double r55823 = r55821 / r55822;
        double r55824 = r55818 - r55823;
        double r55825 = t;
        double r55826 = r55824 + r55825;
        return r55826;
}

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 2019310 
(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))