Average Error: 0.0 → 0.0
Time: 10.9s
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 r26006 = x;
        double r26007 = y;
        double r26008 = 1.0;
        double r26009 = r26007 - r26008;
        double r26010 = z;
        double r26011 = r26009 * r26010;
        double r26012 = r26006 - r26011;
        double r26013 = t;
        double r26014 = r26013 - r26008;
        double r26015 = a;
        double r26016 = r26014 * r26015;
        double r26017 = r26012 - r26016;
        double r26018 = r26007 + r26013;
        double r26019 = 2.0;
        double r26020 = r26018 - r26019;
        double r26021 = b;
        double r26022 = r26020 * r26021;
        double r26023 = r26017 + r26022;
        return r26023;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r26024 = x;
        double r26025 = y;
        double r26026 = 1.0;
        double r26027 = r26025 - r26026;
        double r26028 = z;
        double r26029 = r26027 * r26028;
        double r26030 = r26024 - r26029;
        double r26031 = t;
        double r26032 = r26031 - r26026;
        double r26033 = a;
        double r26034 = r26032 * r26033;
        double r26035 = r26030 - r26034;
        double r26036 = r26025 + r26031;
        double r26037 = 2.0;
        double r26038 = r26036 - r26037;
        double r26039 = b;
        double r26040 = r26038 * r26039;
        double r26041 = r26035 + r26040;
        return r26041;
}

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