\frac{1 - g \cdot g}{{\left(\left(1 + g \cdot g\right) - \left(2 \cdot g\right) \cdot x\right)}^{1.5}}\frac{1 - g \cdot g}{{\left(\left(1 + g \cdot g\right) - \left(2 \cdot g\right) \cdot x\right)}^{1.5}}double code(double g, double x) {
return ((double) (((double) (1.0 - ((double) (g * g)))) / ((double) pow(((double) (((double) (1.0 + ((double) (g * g)))) - ((double) (((double) (2.0 * g)) * x)))), 1.5))));
}
double code(double g, double x) {
return ((double) (((double) (1.0 - ((double) (g * g)))) / ((double) pow(((double) (((double) (1.0 + ((double) (g * g)))) - ((double) (((double) (2.0 * g)) * x)))), 1.5))));
}



Bits error versus g



Bits error versus x
Results
Initial program 22.1
Final simplification22.1
herbie shell --seed 2020153
(FPCore (g x)
:name "(/ (- 1 (* g g)) (pow (- (+ 1 (* g g)) (* (* 2 g) x)) 1.5))"
:precision binary64
(/ (- 1.0 (* g g)) (pow (- (+ 1.0 (* g g)) (* (* 2.0 g) x)) 1.5)))