Average Error: 0.0 → 0.0
Time: 6.0s
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 r36950 = x;
        double r36951 = y;
        double r36952 = 1.0;
        double r36953 = r36951 - r36952;
        double r36954 = z;
        double r36955 = r36953 * r36954;
        double r36956 = r36950 - r36955;
        double r36957 = t;
        double r36958 = r36957 - r36952;
        double r36959 = a;
        double r36960 = r36958 * r36959;
        double r36961 = r36956 - r36960;
        double r36962 = r36951 + r36957;
        double r36963 = 2.0;
        double r36964 = r36962 - r36963;
        double r36965 = b;
        double r36966 = r36964 * r36965;
        double r36967 = r36961 + r36966;
        return r36967;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r36968 = x;
        double r36969 = y;
        double r36970 = 1.0;
        double r36971 = r36969 - r36970;
        double r36972 = z;
        double r36973 = r36971 * r36972;
        double r36974 = r36968 - r36973;
        double r36975 = t;
        double r36976 = r36975 - r36970;
        double r36977 = a;
        double r36978 = r36976 * r36977;
        double r36979 = r36974 - r36978;
        double r36980 = r36969 + r36975;
        double r36981 = 2.0;
        double r36982 = r36980 - r36981;
        double r36983 = b;
        double r36984 = r36982 * r36983;
        double r36985 = r36979 + r36984;
        return r36985;
}

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