{\left(\frac{\frac{3424}{4096} + \left(\frac{2413}{4096} \cdot 32\right) \cdot {y}^{\left(\frac{2610}{16384}\right)}}{1 + \left(\frac{2392}{4096} \cdot 32\right) \cdot {y}^{\left(\frac{2610}{16384}\right)}}\right)}^{\left(\frac{2523}{4096} \cdot 128\right)}{\left(\frac{\frac{3424}{4096} + \left(\frac{2413}{4096} \cdot 32\right) \cdot {y}^{\left(\frac{2610}{16384}\right)}}{1 + \left(\frac{2392}{4096} \cdot 32\right) \cdot {y}^{\left(\frac{2610}{16384}\right)}}\right)}^{\left(\frac{2523}{4096} \cdot 128\right)}double code(double y) {
return ((double) pow(((double) (((double) (((double) (3424.0 / 4096.0)) + ((double) (((double) (((double) (2413.0 / 4096.0)) * 32.0)) * ((double) pow(y, ((double) (2610.0 / 16384.0)))))))) / ((double) (1.0 + ((double) (((double) (((double) (2392.0 / 4096.0)) * 32.0)) * ((double) pow(y, ((double) (2610.0 / 16384.0)))))))))), ((double) (((double) (2523.0 / 4096.0)) * 128.0))));
}
double code(double y) {
return ((double) pow(((double) (((double) (((double) (3424.0 / 4096.0)) + ((double) (((double) (((double) (2413.0 / 4096.0)) * 32.0)) * ((double) pow(y, ((double) (2610.0 / 16384.0)))))))) / ((double) (1.0 + ((double) (((double) (((double) (2392.0 / 4096.0)) * 32.0)) * ((double) pow(y, ((double) (2610.0 / 16384.0)))))))))), ((double) (((double) (2523.0 / 4096.0)) * 128.0))));
}



Bits error versus y
Results
Initial program 3.8
Final simplification3.8
herbie shell --seed 2020152
(FPCore (y)
:name "(pow (/ (+ (/ 3424 4096) (* (* (/ 2413 4096) 32) (pow y (/ 2610 16384)))) (+ 1 (* (* (/ 2392 4096) 32) (pow y (/ 2610 16384))))) (* (/ 2523 4096) 128))"
:precision binary64
(pow (/ (+ (/ 3424.0 4096.0) (* (* (/ 2413.0 4096.0) 32.0) (pow y (/ 2610.0 16384.0)))) (+ 1.0 (* (* (/ 2392.0 4096.0) 32.0) (pow y (/ 2610.0 16384.0))))) (* (/ 2523.0 4096.0) 128.0)))