(/ 3300 (/ 3600 c))

Average Error: 0.5 → 0.5

Time: 554.0ms

Precision: binary64

• could not determine a ground truth for program body

  1. c = 2.7577355466454627e+45

Math

\[\frac{3300}{\frac{3600}{c}}\]

↓

\[\frac{3300}{\frac{3600}{c}}\]

C

double code(double c) {
	return ((double) (3300.0 / ((double) (3600.0 / c))));
}

↓

double code(double c) {
	return ((double) (3300.0 / ((double) (3600.0 / c))));
}

Error

Bits error versus c

Derivation

1. Initial program 0.5

   \[\frac{3300}{\frac{3600}{c}}\]

2. Final simplification 0.5

   \[\leadsto \frac{3300}{\frac{3600}{c}}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (c)
  :name "(/ 3300 (/ 3600 c))"
  :precision binary64
  (/ 3300.0 (/ 3600.0 c)))