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

Average Error: 0.1 → 0.1

Time: 1.1s

Precision: 64

Math

\[x - \frac{3.0}{8.0} \cdot y\]

↓

\[x - \frac{3.0}{8.0} \cdot y\]

C

double f(double x, double y) {
        double r10277066 = x;
        double r10277067 = 3.0;
        double r10277068 = 8.0;
        double r10277069 = r10277067 / r10277068;
        double r10277070 = y;
        double r10277071 = r10277069 * r10277070;
        double r10277072 = r10277066 - r10277071;
        return r10277072;
}

↓

double f(double x, double y) {
        double r10277073 = x;
        double r10277074 = 3.0;
        double r10277075 = 8.0;
        double r10277076 = r10277074 / r10277075;
        double r10277077 = y;
        double r10277078 = r10277076 * r10277077;
        double r10277079 = r10277073 - r10277078;
        return r10277079;
}

Error

Bits error versus x

Bits error versus y

Derivation

1. Initial program 0.1

   \[x - \frac{3.0}{8.0} \cdot y\]

2. Final simplification 0.1

   \[\leadsto x - \frac{3.0}{8.0} \cdot y\]

Reproduce

herbie shell --seed 2019162 
(FPCore (x y)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, A"
  (- x (* (/ 3.0 8.0) y)))