\frac{1.4744991999999999 \cdot 10^{-18} \cdot {f}^{3}}{e^{\frac{0.0479923749999999968}{x}} - 1}\frac{1.4744991999999999 \cdot 10^{-18} \cdot {f}^{3}}{e^{\frac{0.0479923749999999968}{x}} - 1}double code(double f, double x) {
return ((double) (((double) (1.4744991999999999e-18 * ((double) pow(f, 3.0)))) / ((double) (((double) exp(((double) (0.047992375 / x)))) - 1.0))));
}
double code(double f, double x) {
return ((double) (((double) (1.4744991999999999e-18 * ((double) pow(f, 3.0)))) / ((double) (((double) exp(((double) (0.047992375 / x)))) - 1.0))));
}



Bits error versus f



Bits error versus x
Results
Initial program 32.9
Final simplification32.9
herbie shell --seed 2020153
(FPCore (f x)
:name "(/ (* 1.4744991999999999e-18 (pow f 3)) (- (exp (/ 0.047992375 x)) 1))"
:precision binary64
(/ (* 1.4744991999999999e-18 (pow f 3.0)) (- (exp (/ 0.047992375 x)) 1.0)))