Average Error: 0.0 → 0.0
Time: 18.7s
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 r36058 = x;
        double r36059 = y;
        double r36060 = 1.0;
        double r36061 = r36059 - r36060;
        double r36062 = z;
        double r36063 = r36061 * r36062;
        double r36064 = r36058 - r36063;
        double r36065 = t;
        double r36066 = r36065 - r36060;
        double r36067 = a;
        double r36068 = r36066 * r36067;
        double r36069 = r36064 - r36068;
        double r36070 = r36059 + r36065;
        double r36071 = 2.0;
        double r36072 = r36070 - r36071;
        double r36073 = b;
        double r36074 = r36072 * r36073;
        double r36075 = r36069 + r36074;
        return r36075;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r36076 = x;
        double r36077 = y;
        double r36078 = 1.0;
        double r36079 = r36077 - r36078;
        double r36080 = z;
        double r36081 = r36079 * r36080;
        double r36082 = r36076 - r36081;
        double r36083 = t;
        double r36084 = r36083 - r36078;
        double r36085 = a;
        double r36086 = r36084 * r36085;
        double r36087 = r36082 - r36086;
        double r36088 = r36077 + r36083;
        double r36089 = 2.0;
        double r36090 = r36088 - r36089;
        double r36091 = b;
        double r36092 = r36090 * r36091;
        double r36093 = r36087 + r36092;
        return r36093;
}

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