\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.7644704999984242022037506103515625\right) \cdot y + 230661.5106160000141244381666183471679688\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\frac{t + \left(y \cdot \left(y \cdot \left(z + x \cdot y\right) + 27464.7644704999984242022037506103515625\right) + 230661.5106160000141244381666183471679688\right) \cdot y}{i + \left(c + y \cdot \left(b + \left(y + a\right) \cdot y\right)\right) \cdot y}double f(double x, double y, double z, double t, double a, double b, double c, double i) {
double r5197304 = x;
double r5197305 = y;
double r5197306 = r5197304 * r5197305;
double r5197307 = z;
double r5197308 = r5197306 + r5197307;
double r5197309 = r5197308 * r5197305;
double r5197310 = 27464.7644705;
double r5197311 = r5197309 + r5197310;
double r5197312 = r5197311 * r5197305;
double r5197313 = 230661.510616;
double r5197314 = r5197312 + r5197313;
double r5197315 = r5197314 * r5197305;
double r5197316 = t;
double r5197317 = r5197315 + r5197316;
double r5197318 = a;
double r5197319 = r5197305 + r5197318;
double r5197320 = r5197319 * r5197305;
double r5197321 = b;
double r5197322 = r5197320 + r5197321;
double r5197323 = r5197322 * r5197305;
double r5197324 = c;
double r5197325 = r5197323 + r5197324;
double r5197326 = r5197325 * r5197305;
double r5197327 = i;
double r5197328 = r5197326 + r5197327;
double r5197329 = r5197317 / r5197328;
return r5197329;
}
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
double r5197330 = t;
double r5197331 = y;
double r5197332 = z;
double r5197333 = x;
double r5197334 = r5197333 * r5197331;
double r5197335 = r5197332 + r5197334;
double r5197336 = r5197331 * r5197335;
double r5197337 = 27464.7644705;
double r5197338 = r5197336 + r5197337;
double r5197339 = r5197331 * r5197338;
double r5197340 = 230661.510616;
double r5197341 = r5197339 + r5197340;
double r5197342 = r5197341 * r5197331;
double r5197343 = r5197330 + r5197342;
double r5197344 = i;
double r5197345 = c;
double r5197346 = b;
double r5197347 = a;
double r5197348 = r5197331 + r5197347;
double r5197349 = r5197348 * r5197331;
double r5197350 = r5197346 + r5197349;
double r5197351 = r5197331 * r5197350;
double r5197352 = r5197345 + r5197351;
double r5197353 = r5197352 * r5197331;
double r5197354 = r5197344 + r5197353;
double r5197355 = r5197343 / r5197354;
return r5197355;
}



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 29.1
Final simplification29.1
herbie shell --seed 2019179
(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)))