Average Error: 0.1 → 0.1
Time: 12.3s
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 r177583 = x;
        double r177584 = 3.0;
        double r177585 = 8.0;
        double r177586 = r177584 / r177585;
        double r177587 = y;
        double r177588 = r177586 * r177587;
        double r177589 = r177583 - r177588;
        return r177589;
}
↓
double f(double x, double y) {
        double r177590 = x;
        double r177591 = 3.0;
        double r177592 = 8.0;
        double r177593 = r177591 / r177592;
        double r177594 = y;
        double r177595 = r177593 * r177594;
        double r177596 = r177590 - r177595;
        return r177596;
}

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