e^{\frac{17.670000000000002 \cdot \left(temp_K - 273.14999999999998\right)}{temp_K - 29.649999999999999}}e^{\frac{17.670000000000002 \cdot \left(temp_K - 273.14999999999998\right)}{temp_K - 29.649999999999999}}double code(double temp_K) {
return ((double) exp(((double) (((double) (17.67 * ((double) (temp_K - 273.15)))) / ((double) (temp_K - 29.65))))));
}
double code(double temp_K) {
return ((double) exp(((double) (((double) (17.67 * ((double) (temp_K - 273.15)))) / ((double) (temp_K - 29.65))))));
}



Bits error versus temp_K
Results
Initial program 2.4
Final simplification2.4
herbie shell --seed 2020152
(FPCore (temp_K)
:name "(exp (/ (* 17.67 (- temp_K 273.15)) (- temp_K 29.65)))"
:precision binary64
(exp (/ (* 17.67 (- temp_K 273.15)) (- temp_K 29.65))))