Average Error: 28.8 → 28.8
Time: 35.5s
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{y \cdot \left(230661.510616 + \left(\left(\sqrt[3]{z + x \cdot y} \cdot y\right) \cdot \left(\sqrt[3]{z + x \cdot y} \cdot \sqrt[3]{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}\]
\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]{z + x \cdot y} \cdot y\right) \cdot \left(\sqrt[3]{z + x \cdot y} \cdot \sqrt[3]{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 r2248563 = x;
        double r2248564 = y;
        double r2248565 = r2248563 * r2248564;
        double r2248566 = z;
        double r2248567 = r2248565 + r2248566;
        double r2248568 = r2248567 * r2248564;
        double r2248569 = 27464.7644705;
        double r2248570 = r2248568 + r2248569;
        double r2248571 = r2248570 * r2248564;
        double r2248572 = 230661.510616;
        double r2248573 = r2248571 + r2248572;
        double r2248574 = r2248573 * r2248564;
        double r2248575 = t;
        double r2248576 = r2248574 + r2248575;
        double r2248577 = a;
        double r2248578 = r2248564 + r2248577;
        double r2248579 = r2248578 * r2248564;
        double r2248580 = b;
        double r2248581 = r2248579 + r2248580;
        double r2248582 = r2248581 * r2248564;
        double r2248583 = c;
        double r2248584 = r2248582 + r2248583;
        double r2248585 = r2248584 * r2248564;
        double r2248586 = i;
        double r2248587 = r2248585 + r2248586;
        double r2248588 = r2248576 / r2248587;
        return r2248588;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r2248589 = y;
        double r2248590 = 230661.510616;
        double r2248591 = z;
        double r2248592 = x;
        double r2248593 = r2248592 * r2248589;
        double r2248594 = r2248591 + r2248593;
        double r2248595 = cbrt(r2248594);
        double r2248596 = r2248595 * r2248589;
        double r2248597 = r2248595 * r2248595;
        double r2248598 = r2248596 * r2248597;
        double r2248599 = 27464.7644705;
        double r2248600 = r2248598 + r2248599;
        double r2248601 = r2248600 * r2248589;
        double r2248602 = r2248590 + r2248601;
        double r2248603 = r2248589 * r2248602;
        double r2248604 = t;
        double r2248605 = r2248603 + r2248604;
        double r2248606 = c;
        double r2248607 = b;
        double r2248608 = a;
        double r2248609 = r2248589 + r2248608;
        double r2248610 = r2248589 * r2248609;
        double r2248611 = r2248607 + r2248610;
        double r2248612 = r2248611 * r2248589;
        double r2248613 = r2248606 + r2248612;
        double r2248614 = r2248589 * r2248613;
        double r2248615 = i;
        double r2248616 = r2248614 + r2248615;
        double r2248617 = r2248605 / r2248616;
        return r2248617;
}

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 28.8

    \[\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-cbrt28.8

    \[\leadsto \frac{\left(\left(\color{blue}{\left(\left(\sqrt[3]{x \cdot y + z} \cdot \sqrt[3]{x \cdot y + z}\right) \cdot \sqrt[3]{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. Applied associate-*l*28.8

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

  5. Final simplification28.8

    \[\leadsto \frac{y \cdot \left(230661.510616 + \left(\left(\sqrt[3]{z + x \cdot y} \cdot y\right) \cdot \left(\sqrt[3]{z + x \cdot y} \cdot \sqrt[3]{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}\]

Reproduce

herbie shell --seed 2019134 +o rules:numerics
(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)))