\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}double f(double x, double y, double z, double t, double a, double b, double c, double i) {
double r65211 = x;
double r65212 = y;
double r65213 = r65211 * r65212;
double r65214 = z;
double r65215 = r65213 + r65214;
double r65216 = r65215 * r65212;
double r65217 = 27464.7644705;
double r65218 = r65216 + r65217;
double r65219 = r65218 * r65212;
double r65220 = 230661.510616;
double r65221 = r65219 + r65220;
double r65222 = r65221 * r65212;
double r65223 = t;
double r65224 = r65222 + r65223;
double r65225 = a;
double r65226 = r65212 + r65225;
double r65227 = r65226 * r65212;
double r65228 = b;
double r65229 = r65227 + r65228;
double r65230 = r65229 * r65212;
double r65231 = c;
double r65232 = r65230 + r65231;
double r65233 = r65232 * r65212;
double r65234 = i;
double r65235 = r65233 + r65234;
double r65236 = r65224 / r65235;
return r65236;
}
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
double r65237 = x;
double r65238 = y;
double r65239 = r65237 * r65238;
double r65240 = z;
double r65241 = r65239 + r65240;
double r65242 = r65241 * r65238;
double r65243 = 27464.7644705;
double r65244 = r65242 + r65243;
double r65245 = r65244 * r65238;
double r65246 = 230661.510616;
double r65247 = r65245 + r65246;
double r65248 = r65247 * r65238;
double r65249 = t;
double r65250 = r65248 + r65249;
double r65251 = a;
double r65252 = r65238 + r65251;
double r65253 = r65252 * r65238;
double r65254 = b;
double r65255 = r65253 + r65254;
double r65256 = r65255 * r65238;
double r65257 = c;
double r65258 = r65256 + r65257;
double r65259 = r65258 * r65238;
double r65260 = i;
double r65261 = r65259 + r65260;
double r65262 = r65250 / r65261;
return r65262;
}



Bits error versus x



Bits error versus y



Bits error versus z



Bits error versus t



Bits error versus a



Bits error versus b



Bits error versus c



Bits error versus i
Results
Initial program 28.6
Final simplification28.6
herbie shell --seed 2019195
(FPCore (x y z t a b c i)
:name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2"
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))