Average Error: 0.0 → 0.0
Time: 4.6s
Precision: 64
\[\left(\left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\]
↓
\[\left(\left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\]
\left(\left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b
↓
\left(\left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b
double f(double x, double y, double z, double t, double a, double b) {
        double r26892 = x;
        double r26893 = y;
        double r26894 = 1.0;
        double r26895 = r26893 - r26894;
        double r26896 = z;
        double r26897 = r26895 * r26896;
        double r26898 = r26892 - r26897;
        double r26899 = t;
        double r26900 = r26899 - r26894;
        double r26901 = a;
        double r26902 = r26900 * r26901;
        double r26903 = r26898 - r26902;
        double r26904 = r26893 + r26899;
        double r26905 = 2.0;
        double r26906 = r26904 - r26905;
        double r26907 = b;
        double r26908 = r26906 * r26907;
        double r26909 = r26903 + r26908;
        return r26909;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r26910 = x;
        double r26911 = y;
        double r26912 = 1.0;
        double r26913 = r26911 - r26912;
        double r26914 = z;
        double r26915 = r26913 * r26914;
        double r26916 = r26910 - r26915;
        double r26917 = t;
        double r26918 = r26917 - r26912;
        double r26919 = a;
        double r26920 = r26918 * r26919;
        double r26921 = r26916 - r26920;
        double r26922 = r26911 + r26917;
        double r26923 = 2.0;
        double r26924 = r26922 - r26923;
        double r26925 = b;
        double r26926 = r26924 * r26925;
        double r26927 = r26921 + r26926;
        return r26927;
}

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 0.0

    \[\left(\left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\]

  2. Final simplification0.0

    \[\leadsto \left(\left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\]

Reproduce

herbie shell --seed 2020047 
(FPCore (x y z t a b)
  :name "Statistics.Distribution.Beta:$centropy from math-functions-0.1.5.2"
  :precision binary64
  (+ (- (- x (* (- y 1) z)) (* (- t 1) a)) (* (- (+ y t) 2) b)))