Average Error: 2.1 → 2.1
Time: 40.0s
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 r68771 = x;
        double r68772 = y;
        double r68773 = z;
        double r68774 = log(r68773);
        double r68775 = r68772 * r68774;
        double r68776 = t;
        double r68777 = 1.0;
        double r68778 = r68776 - r68777;
        double r68779 = a;
        double r68780 = log(r68779);
        double r68781 = r68778 * r68780;
        double r68782 = r68775 + r68781;
        double r68783 = b;
        double r68784 = r68782 - r68783;
        double r68785 = exp(r68784);
        double r68786 = r68771 * r68785;
        double r68787 = r68786 / r68772;
        return r68787;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r68788 = x;
        double r68789 = a;
        double r68790 = log(r68789);
        double r68791 = t;
        double r68792 = 1.0;
        double r68793 = r68791 - r68792;
        double r68794 = r68790 * r68793;
        double r68795 = z;
        double r68796 = log(r68795);
        double r68797 = y;
        double r68798 = r68796 * r68797;
        double r68799 = r68794 + r68798;
        double r68800 = b;
        double r68801 = r68799 - r68800;
        double r68802 = exp(r68801);
        double r68803 = r68788 * r68802;
        double r68804 = r68803 / r68797;
        return r68804;
}

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))