Average Error: 28.0 → 28.0
Time: 35.7s
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{t + \left(y \cdot \left(y \cdot \left(z + x \cdot y\right) + 27464.7644705\right) + 230661.510616\right) \cdot y}{i + \left(c + y \cdot \left(b + \left(y + a\right) \cdot y\right)\right) \cdot y}\]
\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{t + \left(y \cdot \left(y \cdot \left(z + x \cdot y\right) + 27464.7644705\right) + 230661.510616\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 r3213691 = x;
        double r3213692 = y;
        double r3213693 = r3213691 * r3213692;
        double r3213694 = z;
        double r3213695 = r3213693 + r3213694;
        double r3213696 = r3213695 * r3213692;
        double r3213697 = 27464.7644705;
        double r3213698 = r3213696 + r3213697;
        double r3213699 = r3213698 * r3213692;
        double r3213700 = 230661.510616;
        double r3213701 = r3213699 + r3213700;
        double r3213702 = r3213701 * r3213692;
        double r3213703 = t;
        double r3213704 = r3213702 + r3213703;
        double r3213705 = a;
        double r3213706 = r3213692 + r3213705;
        double r3213707 = r3213706 * r3213692;
        double r3213708 = b;
        double r3213709 = r3213707 + r3213708;
        double r3213710 = r3213709 * r3213692;
        double r3213711 = c;
        double r3213712 = r3213710 + r3213711;
        double r3213713 = r3213712 * r3213692;
        double r3213714 = i;
        double r3213715 = r3213713 + r3213714;
        double r3213716 = r3213704 / r3213715;
        return r3213716;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r3213717 = t;
        double r3213718 = y;
        double r3213719 = z;
        double r3213720 = x;
        double r3213721 = r3213720 * r3213718;
        double r3213722 = r3213719 + r3213721;
        double r3213723 = r3213718 * r3213722;
        double r3213724 = 27464.7644705;
        double r3213725 = r3213723 + r3213724;
        double r3213726 = r3213718 * r3213725;
        double r3213727 = 230661.510616;
        double r3213728 = r3213726 + r3213727;
        double r3213729 = r3213728 * r3213718;
        double r3213730 = r3213717 + r3213729;
        double r3213731 = i;
        double r3213732 = c;
        double r3213733 = b;
        double r3213734 = a;
        double r3213735 = r3213718 + r3213734;
        double r3213736 = r3213735 * r3213718;
        double r3213737 = r3213733 + r3213736;
        double r3213738 = r3213718 * r3213737;
        double r3213739 = r3213732 + r3213738;
        double r3213740 = r3213739 * r3213718;
        double r3213741 = r3213731 + r3213740;
        double r3213742 = r3213730 / r3213741;
        return r3213742;
}

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.0

    \[\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. Final simplification28.0

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

Reproduce

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