Average Error: 9.4 → 9.4
Time: 256.0ms
Precision: binary64
\[\sqrt{9.00999999999999979} - 3\]
↓
\[\sqrt{9.00999999999999979} - 3\]
\sqrt{9.00999999999999979} - 3
↓
\sqrt{9.00999999999999979} - 3
double code() {
	return ((double) (((double) sqrt(9.01)) - 3.0));
}
↓
double code() {
	return ((double) (((double) sqrt(9.01)) - 3.0));
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 9.4

      \[\sqrt{9.00999999999999979} - 3\]

    2. Final simplification9.4

      \[\leadsto \sqrt{9.00999999999999979} - 3\]

    Reproduce

    herbie shell --seed 2020153 
(FPCore ()
  :name "(- (sqrt 9.01) 3)"
  :precision binary64
  (- (sqrt 9.01) 3.0))