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

Average Error: 0.0 → 0.0

Time: 36.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 r32181730 = 1.0;
        double r32181731 = 8.0;
        double r32181732 = r32181730 / r32181731;
        double r32181733 = x;
        double r32181734 = r32181732 * r32181733;
        double r32181735 = y;
        double r32181736 = z;
        double r32181737 = r32181735 * r32181736;
        double r32181738 = 2.0;
        double r32181739 = r32181737 / r32181738;
        double r32181740 = r32181734 - r32181739;
        double r32181741 = t;
        double r32181742 = r32181740 + r32181741;
        return r32181742;
}

↓

double f(double x, double y, double z, double t) {
        double r32181743 = 1.0;
        double r32181744 = 8.0;
        double r32181745 = r32181743 / r32181744;
        double r32181746 = x;
        double r32181747 = r32181745 * r32181746;
        double r32181748 = y;
        double r32181749 = z;
        double r32181750 = r32181748 * r32181749;
        double r32181751 = 2.0;
        double r32181752 = r32181750 / r32181751;
        double r32181753 = r32181747 - r32181752;
        double r32181754 = t;
        double r32181755 = r32181753 + r32181754;
        return r32181755;
}

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