Average Error: 2.1 → 2.1
Time: 39.5s
Precision: 64
\[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1\right) \cdot \log a\right) - b}}{y}\]
↓
\[\frac{x \cdot e^{\left(\log a \cdot \left(t - 1\right) + \log z \cdot y\right) - b}}{y}\]
\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1\right) \cdot \log a\right) - b}}{y}
↓
\frac{x \cdot e^{\left(\log a \cdot \left(t - 1\right) + \log z \cdot y\right) - b}}{y}
double f(double x, double y, double z, double t, double a, double b) {
        double r69035 = x;
        double r69036 = y;
        double r69037 = z;
        double r69038 = log(r69037);
        double r69039 = r69036 * r69038;
        double r69040 = t;
        double r69041 = 1.0;
        double r69042 = r69040 - r69041;
        double r69043 = a;
        double r69044 = log(r69043);
        double r69045 = r69042 * r69044;
        double r69046 = r69039 + r69045;
        double r69047 = b;
        double r69048 = r69046 - r69047;
        double r69049 = exp(r69048);
        double r69050 = r69035 * r69049;
        double r69051 = r69050 / r69036;
        return r69051;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r69052 = x;
        double r69053 = a;
        double r69054 = log(r69053);
        double r69055 = t;
        double r69056 = 1.0;
        double r69057 = r69055 - r69056;
        double r69058 = r69054 * r69057;
        double r69059 = z;
        double r69060 = log(r69059);
        double r69061 = y;
        double r69062 = r69060 * r69061;
        double r69063 = r69058 + r69062;
        double r69064 = b;
        double r69065 = r69063 - r69064;
        double r69066 = exp(r69065);
        double r69067 = r69052 * r69066;
        double r69068 = r69067 / r69061;
        return r69068;
}

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

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 2.1

    \[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1\right) \cdot \log a\right) - b}}{y}\]

  2. Final simplification2.1

    \[\leadsto \frac{x \cdot e^{\left(\log a \cdot \left(t - 1\right) + \log z \cdot y\right) - b}}{y}\]

Reproduce

herbie shell --seed 2019194 
(FPCore (x y z t a b)
  :name "Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2"
  (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))