\frac{u \cdot {u}^{2} + v \cdot {v}^{2}}{{u}^{2} + {v}^{2}}\frac{u \cdot {u}^{2} + v \cdot {v}^{2}}{{u}^{2} + {v}^{2}}double code(double u, double v) {
return ((double) (((double) (((double) (u * ((double) pow(u, 2.0)))) + ((double) (v * ((double) pow(v, 2.0)))))) / ((double) (((double) pow(u, 2.0)) + ((double) pow(v, 2.0))))));
}
double code(double u, double v) {
return ((double) (((double) (((double) (u * ((double) pow(u, 2.0)))) + ((double) (v * ((double) pow(v, 2.0)))))) / ((double) (((double) pow(u, 2.0)) + ((double) pow(v, 2.0))))));
}



Bits error versus u



Bits error versus v
Results
Initial program 42.1
Final simplification42.1
herbie shell --seed 2020153
(FPCore (u v)
:name "(/ (+ (* u (pow u 2)) (* v (pow v 2))) (+ (pow u 2) (pow v 2)))"
:precision binary64
(/ (+ (* u (pow u 2.0)) (* v (pow v 2.0))) (+ (pow u 2.0) (pow v 2.0))))