Average Error: 0 → 0
Time: 331.0ms
Precision: 64
\[x - \frac{y}{4}\]
↓
\[x - \frac{y}{4}\]
x - \frac{y}{4}
↓
x - \frac{y}{4}
double f(double x, double y) {
        double r269627 = x;
        double r269628 = y;
        double r269629 = 4.0;
        double r269630 = r269628 / r269629;
        double r269631 = r269627 - r269630;
        return r269631;
}
↓
double f(double x, double y) {
        double r269632 = x;
        double r269633 = y;
        double r269634 = 4.0;
        double r269635 = r269633 / r269634;
        double r269636 = r269632 - r269635;
        return r269636;
}

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

    \[x - \frac{y}{4}\]

  2. Final simplification0

    \[\leadsto x - \frac{y}{4}\]

Reproduce

herbie shell --seed 2020046 
(FPCore (x y)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, E"
  :precision binary64
  (- x (/ y 4)))