Average Error: 29.0 → 29.0
Time: 14.1s
Precision: 64
\[\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\]
↓
\[\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\]
\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}
↓
\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\right) \cdot y + t}{\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 r118029 = x;
        double r118030 = y;
        double r118031 = r118029 * r118030;
        double r118032 = z;
        double r118033 = r118031 + r118032;
        double r118034 = r118033 * r118030;
        double r118035 = 27464.7644705;
        double r118036 = r118034 + r118035;
        double r118037 = r118036 * r118030;
        double r118038 = 230661.510616;
        double r118039 = r118037 + r118038;
        double r118040 = r118039 * r118030;
        double r118041 = t;
        double r118042 = r118040 + r118041;
        double r118043 = a;
        double r118044 = r118030 + r118043;
        double r118045 = r118044 * r118030;
        double r118046 = b;
        double r118047 = r118045 + r118046;
        double r118048 = r118047 * r118030;
        double r118049 = c;
        double r118050 = r118048 + r118049;
        double r118051 = r118050 * r118030;
        double r118052 = i;
        double r118053 = r118051 + r118052;
        double r118054 = r118042 / r118053;
        return r118054;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r118055 = x;
        double r118056 = y;
        double r118057 = r118055 * r118056;
        double r118058 = z;
        double r118059 = r118057 + r118058;
        double r118060 = r118059 * r118056;
        double r118061 = 27464.7644705;
        double r118062 = r118060 + r118061;
        double r118063 = r118062 * r118056;
        double r118064 = 230661.510616;
        double r118065 = r118063 + r118064;
        double r118066 = r118065 * r118056;
        double r118067 = t;
        double r118068 = r118066 + r118067;
        double r118069 = a;
        double r118070 = r118056 + r118069;
        double r118071 = r118070 * r118056;
        double r118072 = b;
        double r118073 = r118071 + r118072;
        double r118074 = r118073 * r118056;
        double r118075 = c;
        double r118076 = r118074 + r118075;
        double r118077 = r118076 * r118056;
        double r118078 = i;
        double r118079 = r118077 + r118078;
        double r118080 = r118068 / r118079;
        return r118080;
}

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

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

  2. Final simplification29.0

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

Reproduce

herbie shell --seed 2020089 
(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.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))