\sqrt[3]{2^{x} + 2^{y}}\sqrt[3]{2^{x} + 2^{y}}double code(double x, double y) {
return ((double) cbrt(((double) (((double) exp2(x)) + ((double) exp2(y))))));
}
double code(double x, double y) {
return ((double) cbrt(((double) (((double) exp2(x)) + ((double) exp2(y))))));
}



Bits error versus x



Bits error versus y
Results
Initial program 0.5
Final simplification0.5
herbie shell --seed 2020153
(FPCore (x y)
:name "(cbrt (+ (exp2 x) (exp2 y)))"
:precision binary64
(cbrt (+ (exp2 x) (exp2 y))))