Average Error: 30.0 → 30.0
Time: 15.2s
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}\]
↓
\[\left(\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\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}\]
\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}
↓
\left(\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\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}
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r55370 = x;
        double r55371 = y;
        double r55372 = r55370 * r55371;
        double r55373 = z;
        double r55374 = r55372 + r55373;
        double r55375 = r55374 * r55371;
        double r55376 = 27464.7644705;
        double r55377 = r55375 + r55376;
        double r55378 = r55377 * r55371;
        double r55379 = 230661.510616;
        double r55380 = r55378 + r55379;
        double r55381 = r55380 * r55371;
        double r55382 = t;
        double r55383 = r55381 + r55382;
        double r55384 = a;
        double r55385 = r55371 + r55384;
        double r55386 = r55385 * r55371;
        double r55387 = b;
        double r55388 = r55386 + r55387;
        double r55389 = r55388 * r55371;
        double r55390 = c;
        double r55391 = r55389 + r55390;
        double r55392 = r55391 * r55371;
        double r55393 = i;
        double r55394 = r55392 + r55393;
        double r55395 = r55383 / r55394;
        return r55395;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r55396 = x;
        double r55397 = y;
        double r55398 = r55396 * r55397;
        double r55399 = z;
        double r55400 = r55398 + r55399;
        double r55401 = r55400 * r55397;
        double r55402 = 27464.7644705;
        double r55403 = r55401 + r55402;
        double r55404 = r55403 * r55397;
        double r55405 = 230661.510616;
        double r55406 = r55404 + r55405;
        double r55407 = r55406 * r55397;
        double r55408 = t;
        double r55409 = r55407 + r55408;
        double r55410 = 1.0;
        double r55411 = a;
        double r55412 = r55397 + r55411;
        double r55413 = r55412 * r55397;
        double r55414 = b;
        double r55415 = r55413 + r55414;
        double r55416 = r55415 * r55397;
        double r55417 = c;
        double r55418 = r55416 + r55417;
        double r55419 = r55418 * r55397;
        double r55420 = i;
        double r55421 = r55419 + r55420;
        double r55422 = r55410 / r55421;
        double r55423 = r55409 * r55422;
        return r55423;
}

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 30.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. Using strategy rm

  3. Applied div-inv30.0

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

  4. Final simplification30.0

    \[\leadsto \left(\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\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}\]

Reproduce

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