(- 108 (/ (- 815 (/ 1500 z)) y))

Average Error: 0.3 → 0.3

Time: 720.0ms

Precision: binary64

Math

\[108 - \frac{815 - \frac{1500}{z}}{y}\]

↓

\[108 - \frac{815 - \frac{1500}{z}}{y}\]

C

double code(double z, double y) {
	return ((double) (108.0 - ((double) (((double) (815.0 - ((double) (1500.0 / z)))) / y))));
}

↓

double code(double z, double y) {
	return ((double) (108.0 - ((double) (((double) (815.0 - ((double) (1500.0 / z)))) / y))));
}

Error

Bits error versus z

Bits error versus y

Derivation

1. Initial program 0.3

   \[108 - \frac{815 - \frac{1500}{z}}{y}\]

2. Final simplification 0.3

   \[\leadsto 108 - \frac{815 - \frac{1500}{z}}{y}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (z y)
  :name "(- 108 (/ (- 815 (/ 1500 z)) y))"
  :precision binary64
  (- 108.0 (/ (- 815.0 (/ 1500.0 z)) y)))