Average Error: 0 → 0
Time: 422.0ms
Precision: binary64
\[3.86372518999999981 + \frac{\left(12.1769608999999992 - 3.86372518999999981\right) \cdot \left(10 - 9\right)}{10 - 9}\]
↓
\[12.1769608999999992\]
3.86372518999999981 + \frac{\left(12.1769608999999992 - 3.86372518999999981\right) \cdot \left(10 - 9\right)}{10 - 9}
↓
12.1769608999999992
double code() {
	return ((double) (3.86372519 + ((double) (((double) (((double) (12.1769609 - 3.86372519)) * ((double) (10.0 - 9.0)))) / ((double) (10.0 - 9.0))))));
}
↓
double code() {
	return 12.1769609;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[3.86372518999999981 + \frac{\left(12.1769608999999992 - 3.86372518999999981\right) \cdot \left(10 - 9\right)}{10 - 9}\]

    2. Simplified0

      \[\leadsto \color{blue}{12.1769608999999992}\]

    3. Final simplification0

      \[\leadsto 12.1769608999999992\]

    Reproduce

    herbie shell --seed 2020153 
(FPCore ()
  :name "(+ 3.86372519 (/ (* (- 12.1769609 3.86372519) (- 10 9)) (- 10 9)))"
  :precision binary64
  (+ 3.86372519 (/ (* (- 12.1769609 3.86372519) (- 10.0 9.0)) (- 10.0 9.0))))