Average Error: 29.1 → 29.2
Time: 41.3s
Precision: 64
\[\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{1}{i + y \cdot \left(c + y \cdot \left(\left(a + y\right) \cdot y + b\right)\right)} \cdot \left(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\right)\]
\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{1}{i + y \cdot \left(c + y \cdot \left(\left(a + y\right) \cdot y + b\right)\right)} \cdot \left(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\right)
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r2711396 = x;
        double r2711397 = y;
        double r2711398 = r2711396 * r2711397;
        double r2711399 = z;
        double r2711400 = r2711398 + r2711399;
        double r2711401 = r2711400 * r2711397;
        double r2711402 = 27464.7644705;
        double r2711403 = r2711401 + r2711402;
        double r2711404 = r2711403 * r2711397;
        double r2711405 = 230661.510616;
        double r2711406 = r2711404 + r2711405;
        double r2711407 = r2711406 * r2711397;
        double r2711408 = t;
        double r2711409 = r2711407 + r2711408;
        double r2711410 = a;
        double r2711411 = r2711397 + r2711410;
        double r2711412 = r2711411 * r2711397;
        double r2711413 = b;
        double r2711414 = r2711412 + r2711413;
        double r2711415 = r2711414 * r2711397;
        double r2711416 = c;
        double r2711417 = r2711415 + r2711416;
        double r2711418 = r2711417 * r2711397;
        double r2711419 = i;
        double r2711420 = r2711418 + r2711419;
        double r2711421 = r2711409 / r2711420;
        return r2711421;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r2711422 = 1.0;
        double r2711423 = i;
        double r2711424 = y;
        double r2711425 = c;
        double r2711426 = a;
        double r2711427 = r2711426 + r2711424;
        double r2711428 = r2711427 * r2711424;
        double r2711429 = b;
        double r2711430 = r2711428 + r2711429;
        double r2711431 = r2711424 * r2711430;
        double r2711432 = r2711425 + r2711431;
        double r2711433 = r2711424 * r2711432;
        double r2711434 = r2711423 + r2711433;
        double r2711435 = r2711422 / r2711434;
        double r2711436 = 230661.510616;
        double r2711437 = z;
        double r2711438 = x;
        double r2711439 = r2711438 * r2711424;
        double r2711440 = r2711437 + r2711439;
        double r2711441 = r2711424 * r2711440;
        double r2711442 = cbrt(r2711441);
        double r2711443 = r2711442 * r2711442;
        double r2711444 = r2711443 * r2711442;
        double r2711445 = 27464.7644705;
        double r2711446 = r2711444 + r2711445;
        double r2711447 = r2711446 * r2711424;
        double r2711448 = r2711436 + r2711447;
        double r2711449 = r2711424 * r2711448;
        double r2711450 = t;
        double r2711451 = r2711449 + r2711450;
        double r2711452 = r2711435 * r2711451;
        return r2711452;
}

Error

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

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 29.1

    \[\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}\]
  2. Using strategy rm

  3. Applied add-cube-cbrt29.1

    \[\leadsto \frac{\left(\left(\color{blue}{\left(\sqrt[3]{\left(x \cdot y + z\right) \cdot y} \cdot \sqrt[3]{\left(x \cdot y + z\right) \cdot y}\right) \cdot \sqrt[3]{\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}\]
  4. Using strategy rm

  5. Applied div-inv29.2

    \[\leadsto \color{blue}{\left(\left(\left(\left(\sqrt[3]{\left(x \cdot y + z\right) \cdot y} \cdot \sqrt[3]{\left(x \cdot y + z\right) \cdot y}\right) \cdot \sqrt[3]{\left(x \cdot y + z\right) \cdot y} + 27464.7644705\right) \cdot y + 230661.510616\right) \cdot y + t\right) \cdot \frac{1}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}}\]

  6. Final simplification29.2

    \[\leadsto \frac{1}{i + y \cdot \left(c + y \cdot \left(\left(a + y\right) \cdot y + b\right)\right)} \cdot \left(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\right)\]

Reproduce

herbie shell --seed 2019149 
(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)))