Average Error: 0.1 → 0.1
Time: 391.0ms
Precision: 64
\[x - \frac{3}{8} \cdot y\]
↓
\[x - \frac{3}{8} \cdot y\]
x - \frac{3}{8} \cdot y
↓
x - \frac{3}{8} \cdot y
double f(double x, double y) {
        double r194875 = x;
        double r194876 = 3.0;
        double r194877 = 8.0;
        double r194878 = r194876 / r194877;
        double r194879 = y;
        double r194880 = r194878 * r194879;
        double r194881 = r194875 - r194880;
        return r194881;
}
↓
double f(double x, double y) {
        double r194882 = x;
        double r194883 = 3.0;
        double r194884 = 8.0;
        double r194885 = r194883 / r194884;
        double r194886 = y;
        double r194887 = r194885 * r194886;
        double r194888 = r194882 - r194887;
        return r194888;
}

Error

Bits error versus x

Bits error versus y

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

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

  2. Final simplification0.1

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

Reproduce

herbie shell --seed 2020018 +o rules:numerics
(FPCore (x y)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, A"
  :precision binary64
  (- x (* (/ 3 8) y)))