Average Error: 0.1 → 0.1
Time: 531.0ms
Precision: binary64
\[\frac{0.22475540999999999 \cdot \left(temp + 459.670000000000016\right)}{1.80000000000000004}\]
↓
\[\frac{0.22475540999999999 \cdot \left(temp + 459.670000000000016\right)}{1.80000000000000004}\]
\frac{0.22475540999999999 \cdot \left(temp + 459.670000000000016\right)}{1.80000000000000004}
↓
\frac{0.22475540999999999 \cdot \left(temp + 459.670000000000016\right)}{1.80000000000000004}
double code(double temp) {
	return ((double) (((double) (0.22475541 * ((double) (temp + 459.67)))) / 1.8));
}
↓
double code(double temp) {
	return ((double) (((double) (0.22475541 * ((double) (temp + 459.67)))) / 1.8));
}

Error

Bits error versus temp

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\frac{0.22475540999999999 \cdot \left(temp + 459.670000000000016\right)}{1.80000000000000004}\]

  2. Final simplification0.1

    \[\leadsto \frac{0.22475540999999999 \cdot \left(temp + 459.670000000000016\right)}{1.80000000000000004}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (temp)
  :name "(/ (* 0.22475541 (+ temp 459.67)) 1.8)"
  :precision binary64
  (/ (* 0.22475541 (+ temp 459.67)) 1.8))