Average Error: 0.1 → 0.1
Time: 23.4s
Precision: 64
\[\left(\left(x \cdot \log y - y\right) - z\right) + \log t\]
↓
\[\log t + \left(\left(x \cdot \log y - y\right) - z\right)\]
\left(\left(x \cdot \log y - y\right) - z\right) + \log t
↓
\log t + \left(\left(x \cdot \log y - y\right) - z\right)
double f(double x, double y, double z, double t) {
        double r104009 = x;
        double r104010 = y;
        double r104011 = log(r104010);
        double r104012 = r104009 * r104011;
        double r104013 = r104012 - r104010;
        double r104014 = z;
        double r104015 = r104013 - r104014;
        double r104016 = t;
        double r104017 = log(r104016);
        double r104018 = r104015 + r104017;
        return r104018;
}
↓
double f(double x, double y, double z, double t) {
        double r104019 = t;
        double r104020 = log(r104019);
        double r104021 = x;
        double r104022 = y;
        double r104023 = log(r104022);
        double r104024 = r104021 * r104023;
        double r104025 = r104024 - r104022;
        double r104026 = z;
        double r104027 = r104025 - r104026;
        double r104028 = r104020 + r104027;
        return r104028;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\left(\left(x \cdot \log y - y\right) - z\right) + \log t\]

  2. Final simplification0.1

    \[\leadsto \log t + \left(\left(x \cdot \log y - y\right) - z\right)\]

Reproduce

herbie shell --seed 2019194 
(FPCore (x y z t)
  :name "Numeric.SpecFunctions:incompleteGamma from math-functions-0.1.5.2, A"
  (+ (- (- (* x (log y)) y) z) (log t)))