Average Error: 28.5 → 28.7
Time: 26.2s
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}{\frac{i + y \cdot \left(\left(b + \left(y + a\right) \cdot y\right) \cdot y + c\right)}{t + y \cdot \left(\left(\left(y \cdot x + z\right) \cdot y + 27464.7644705\right) \cdot y + 230661.510616\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}{\frac{i + y \cdot \left(\left(b + \left(y + a\right) \cdot y\right) \cdot y + c\right)}{t + y \cdot \left(\left(\left(y \cdot x + z\right) \cdot y + 27464.7644705\right) \cdot y + 230661.510616\right)}}
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r1351364 = x;
        double r1351365 = y;
        double r1351366 = r1351364 * r1351365;
        double r1351367 = z;
        double r1351368 = r1351366 + r1351367;
        double r1351369 = r1351368 * r1351365;
        double r1351370 = 27464.7644705;
        double r1351371 = r1351369 + r1351370;
        double r1351372 = r1351371 * r1351365;
        double r1351373 = 230661.510616;
        double r1351374 = r1351372 + r1351373;
        double r1351375 = r1351374 * r1351365;
        double r1351376 = t;
        double r1351377 = r1351375 + r1351376;
        double r1351378 = a;
        double r1351379 = r1351365 + r1351378;
        double r1351380 = r1351379 * r1351365;
        double r1351381 = b;
        double r1351382 = r1351380 + r1351381;
        double r1351383 = r1351382 * r1351365;
        double r1351384 = c;
        double r1351385 = r1351383 + r1351384;
        double r1351386 = r1351385 * r1351365;
        double r1351387 = i;
        double r1351388 = r1351386 + r1351387;
        double r1351389 = r1351377 / r1351388;
        return r1351389;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r1351390 = 1.0;
        double r1351391 = i;
        double r1351392 = y;
        double r1351393 = b;
        double r1351394 = a;
        double r1351395 = r1351392 + r1351394;
        double r1351396 = r1351395 * r1351392;
        double r1351397 = r1351393 + r1351396;
        double r1351398 = r1351397 * r1351392;
        double r1351399 = c;
        double r1351400 = r1351398 + r1351399;
        double r1351401 = r1351392 * r1351400;
        double r1351402 = r1351391 + r1351401;
        double r1351403 = t;
        double r1351404 = x;
        double r1351405 = r1351392 * r1351404;
        double r1351406 = z;
        double r1351407 = r1351405 + r1351406;
        double r1351408 = r1351407 * r1351392;
        double r1351409 = 27464.7644705;
        double r1351410 = r1351408 + r1351409;
        double r1351411 = r1351410 * r1351392;
        double r1351412 = 230661.510616;
        double r1351413 = r1351411 + r1351412;
        double r1351414 = r1351392 * r1351413;
        double r1351415 = r1351403 + r1351414;
        double r1351416 = r1351402 / r1351415;
        double r1351417 = r1351390 / r1351416;
        return r1351417;
}

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

    \[\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 clear-num28.7

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

  4. Final simplification28.7

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

Reproduce

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