\frac{1}{\sqrt{a + {b}^{\left(\frac{3}{2}\right)}}}\frac{1}{\sqrt{a + {b}^{\left(\frac{3}{2}\right)}}}double code(double a, double b) {
return ((double) (1.0 / ((double) sqrt(((double) (a + ((double) pow(b, ((double) (3.0 / 2.0))))))))));
}
double code(double a, double b) {
return ((double) (1.0 / ((double) sqrt(((double) (a + ((double) pow(b, ((double) (3.0 / 2.0))))))))));
}



Bits error versus a



Bits error versus b
Results
Initial program 13.6
Final simplification13.6
herbie shell --seed 2020152
(FPCore (a b)
:name "(/ 1 (sqrt (+ a (pow b (/ 3 2)))))"
:precision binary64
(/ 1.0 (sqrt (+ a (pow b (/ 3.0 2.0))))))