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

Average Error: 0.1 → 0.1

Time: 15.8s

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 r13391227 = x;
        double r13391228 = 3.0;
        double r13391229 = 8.0;
        double r13391230 = r13391228 / r13391229;
        double r13391231 = y;
        double r13391232 = r13391230 * r13391231;
        double r13391233 = r13391227 - r13391232;
        return r13391233;
}

↓

double f(double x, double y) {
        double r13391234 = x;
        double r13391235 = 3.0;
        double r13391236 = 8.0;
        double r13391237 = r13391235 / r13391236;
        double r13391238 = y;
        double r13391239 = r13391237 * r13391238;
        double r13391240 = r13391234 - r13391239;
        return r13391240;
}

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 2019164 
(FPCore (x y)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, A"
  (- x (* (/ 3.0 8.0) y)))