Average Error: 0.0 → 0.0
Time: 5.2s
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 r37050 = x;
        double r37051 = y;
        double r37052 = 1.0;
        double r37053 = r37051 - r37052;
        double r37054 = z;
        double r37055 = r37053 * r37054;
        double r37056 = r37050 - r37055;
        double r37057 = t;
        double r37058 = r37057 - r37052;
        double r37059 = a;
        double r37060 = r37058 * r37059;
        double r37061 = r37056 - r37060;
        double r37062 = r37051 + r37057;
        double r37063 = 2.0;
        double r37064 = r37062 - r37063;
        double r37065 = b;
        double r37066 = r37064 * r37065;
        double r37067 = r37061 + r37066;
        return r37067;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r37068 = x;
        double r37069 = y;
        double r37070 = 1.0;
        double r37071 = r37069 - r37070;
        double r37072 = z;
        double r37073 = r37071 * r37072;
        double r37074 = r37068 - r37073;
        double r37075 = t;
        double r37076 = r37075 - r37070;
        double r37077 = a;
        double r37078 = r37076 * r37077;
        double r37079 = r37074 - r37078;
        double r37080 = r37069 + r37075;
        double r37081 = 2.0;
        double r37082 = r37080 - r37081;
        double r37083 = b;
        double r37084 = r37082 * r37083;
        double r37085 = r37079 + r37084;
        return r37085;
}

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