double code(double x, double y, double z, double t, double a, double b) {
return ((double) (x * ((double) exp(((double) (((double) (y * ((double) (((double) log(z)) - t)))) + ((double) (a * ((double) (((double) log(((double) (1.0 - z)))) - b))))))))));
}
double code(double x, double y, double z, double t, double a, double b) {
return ((double) (x * ((double) exp(((double) (((double) (y * ((double) (((double) log(z)) - t)))) + ((double) (a * ((double) (((double) (((double) log(1.0)) + ((double) (((double) (((double) (((double) (z / 1.0)) * ((double) (z / 1.0)))) * -0.5)) - ((double) (z * 1.0)))))) - b))))))))));
}



Bits error versus x



Bits error versus y



Bits error versus z



Bits error versus t



Bits error versus a



Bits error versus b
Results
Initial program 2.1
Taylor expanded around 0 0.5
Simplified0.5
Final simplification0.5
herbie shell --seed 2020192
(FPCore (x y z t a b)
:name "Numeric.SpecFunctions:incompleteBetaApprox from math-functions-0.1.5.2, B"
:precision binary64
(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))))