\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.7644705\right) \cdot y + 230661.510616\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\frac{y \cdot \left(230661.510616 + \left(\left(\sqrt[3]{y \cdot \left(z + x \cdot y\right)} \cdot \sqrt[3]{y \cdot \left(z + x \cdot y\right)}\right) \cdot \sqrt[3]{y \cdot \left(z + x \cdot y\right)} + 27464.7644705\right) \cdot y\right) + t}{y \cdot \left(c + \left(b + y \cdot \left(y + a\right)\right) \cdot y\right) + i}double f(double x, double y, double z, double t, double a, double b, double c, double i) {
double r12278200 = x;
double r12278201 = y;
double r12278202 = r12278200 * r12278201;
double r12278203 = z;
double r12278204 = r12278202 + r12278203;
double r12278205 = r12278204 * r12278201;
double r12278206 = 27464.7644705;
double r12278207 = r12278205 + r12278206;
double r12278208 = r12278207 * r12278201;
double r12278209 = 230661.510616;
double r12278210 = r12278208 + r12278209;
double r12278211 = r12278210 * r12278201;
double r12278212 = t;
double r12278213 = r12278211 + r12278212;
double r12278214 = a;
double r12278215 = r12278201 + r12278214;
double r12278216 = r12278215 * r12278201;
double r12278217 = b;
double r12278218 = r12278216 + r12278217;
double r12278219 = r12278218 * r12278201;
double r12278220 = c;
double r12278221 = r12278219 + r12278220;
double r12278222 = r12278221 * r12278201;
double r12278223 = i;
double r12278224 = r12278222 + r12278223;
double r12278225 = r12278213 / r12278224;
return r12278225;
}
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
double r12278226 = y;
double r12278227 = 230661.510616;
double r12278228 = z;
double r12278229 = x;
double r12278230 = r12278229 * r12278226;
double r12278231 = r12278228 + r12278230;
double r12278232 = r12278226 * r12278231;
double r12278233 = cbrt(r12278232);
double r12278234 = r12278233 * r12278233;
double r12278235 = r12278234 * r12278233;
double r12278236 = 27464.7644705;
double r12278237 = r12278235 + r12278236;
double r12278238 = r12278237 * r12278226;
double r12278239 = r12278227 + r12278238;
double r12278240 = r12278226 * r12278239;
double r12278241 = t;
double r12278242 = r12278240 + r12278241;
double r12278243 = c;
double r12278244 = b;
double r12278245 = a;
double r12278246 = r12278226 + r12278245;
double r12278247 = r12278226 * r12278246;
double r12278248 = r12278244 + r12278247;
double r12278249 = r12278248 * r12278226;
double r12278250 = r12278243 + r12278249;
double r12278251 = r12278226 * r12278250;
double r12278252 = i;
double r12278253 = r12278251 + r12278252;
double r12278254 = r12278242 / r12278253;
return r12278254;
}



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 27.9
rmApplied add-cube-cbrt28.0
Final simplification28.0
herbie shell --seed 2019125
(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)))