\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{\left(t + y \cdot 230661.5106160000141244381666183471679688\right) + y \cdot {\left(\sqrt[3]{\left(\left(x \cdot y + z\right) \cdot y + 27464.7644704999984242022037506103515625\right) \cdot y}\right)}^{3}}{\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 r103343 = x;
double r103344 = y;
double r103345 = r103343 * r103344;
double r103346 = z;
double r103347 = r103345 + r103346;
double r103348 = r103347 * r103344;
double r103349 = 27464.7644705;
double r103350 = r103348 + r103349;
double r103351 = r103350 * r103344;
double r103352 = 230661.510616;
double r103353 = r103351 + r103352;
double r103354 = r103353 * r103344;
double r103355 = t;
double r103356 = r103354 + r103355;
double r103357 = a;
double r103358 = r103344 + r103357;
double r103359 = r103358 * r103344;
double r103360 = b;
double r103361 = r103359 + r103360;
double r103362 = r103361 * r103344;
double r103363 = c;
double r103364 = r103362 + r103363;
double r103365 = r103364 * r103344;
double r103366 = i;
double r103367 = r103365 + r103366;
double r103368 = r103356 / r103367;
return r103368;
}
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
double r103369 = t;
double r103370 = y;
double r103371 = 230661.510616;
double r103372 = r103370 * r103371;
double r103373 = r103369 + r103372;
double r103374 = x;
double r103375 = r103374 * r103370;
double r103376 = z;
double r103377 = r103375 + r103376;
double r103378 = r103377 * r103370;
double r103379 = 27464.7644705;
double r103380 = r103378 + r103379;
double r103381 = r103380 * r103370;
double r103382 = cbrt(r103381);
double r103383 = 3.0;
double r103384 = pow(r103382, r103383);
double r103385 = r103370 * r103384;
double r103386 = r103373 + r103385;
double r103387 = a;
double r103388 = r103370 + r103387;
double r103389 = r103388 * r103370;
double r103390 = b;
double r103391 = r103389 + r103390;
double r103392 = r103391 * r103370;
double r103393 = c;
double r103394 = r103392 + r103393;
double r103395 = r103394 * r103370;
double r103396 = i;
double r103397 = r103395 + r103396;
double r103398 = r103386 / r103397;
return r103398;
}



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.9
rmApplied add-cube-cbrt28.9
rmApplied *-un-lft-identity28.9
Applied associate-/r*28.9
Simplified28.9
Final simplification28.9
herbie shell --seed 2019322
(FPCore (x y z t a b c i)
:name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2"
:precision binary64
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.764470499998) y) 230661.510616000014) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))