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

Average Error: 0.1 → 0.1

Time: 15.5s

Precision: 64

Math

\[x - \frac{3}{8} \cdot y\]

↓

\[x - \frac{3}{8} \cdot y\]

C

double f(double x, double y) {
        double r11157305 = x;
        double r11157306 = 3.0;
        double r11157307 = 8.0;
        double r11157308 = r11157306 / r11157307;
        double r11157309 = y;
        double r11157310 = r11157308 * r11157309;
        double r11157311 = r11157305 - r11157310;
        return r11157311;
}

↓

double f(double x, double y) {
        double r11157312 = x;
        double r11157313 = 3.0;
        double r11157314 = 8.0;
        double r11157315 = r11157313 / r11157314;
        double r11157316 = y;
        double r11157317 = r11157315 * r11157316;
        double r11157318 = r11157312 - r11157317;
        return r11157318;
}

Error

Bits error versus x

Bits error versus y

Derivation

1. Initial program 0.1

   \[x - \frac{3}{8} \cdot y\]

2. Final simplification 0.1

   \[\leadsto x - \frac{3}{8} \cdot y\]

Reproduce

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