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

Average Error: 0.1 → 0.1

Time: 1.0m

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 r10377985 = x;
        double r10377986 = 3.0;
        double r10377987 = 8.0;
        double r10377988 = r10377986 / r10377987;
        double r10377989 = y;
        double r10377990 = r10377988 * r10377989;
        double r10377991 = r10377985 - r10377990;
        return r10377991;
}

↓

double f(double x, double y) {
        double r10377992 = x;
        double r10377993 = 3.0;
        double r10377994 = 8.0;
        double r10377995 = r10377993 / r10377994;
        double r10377996 = y;
        double r10377997 = r10377995 * r10377996;
        double r10377998 = r10377992 - r10377997;
        return r10377998;
}

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