Average Error: 0.0 → 0.0
Time: 17.5s
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(x - \left(y - 1\right) \cdot z\right) + \left(\left(\left(y + t\right) - 2\right) \cdot b - a \cdot \left(t - 1\right)\right)\]
\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(x - \left(y - 1\right) \cdot z\right) + \left(\left(\left(y + t\right) - 2\right) \cdot b - a \cdot \left(t - 1\right)\right)
double f(double x, double y, double z, double t, double a, double b) {
        double r35163 = x;
        double r35164 = y;
        double r35165 = 1.0;
        double r35166 = r35164 - r35165;
        double r35167 = z;
        double r35168 = r35166 * r35167;
        double r35169 = r35163 - r35168;
        double r35170 = t;
        double r35171 = r35170 - r35165;
        double r35172 = a;
        double r35173 = r35171 * r35172;
        double r35174 = r35169 - r35173;
        double r35175 = r35164 + r35170;
        double r35176 = 2.0;
        double r35177 = r35175 - r35176;
        double r35178 = b;
        double r35179 = r35177 * r35178;
        double r35180 = r35174 + r35179;
        return r35180;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r35181 = x;
        double r35182 = y;
        double r35183 = 1.0;
        double r35184 = r35182 - r35183;
        double r35185 = z;
        double r35186 = r35184 * r35185;
        double r35187 = r35181 - r35186;
        double r35188 = t;
        double r35189 = r35182 + r35188;
        double r35190 = 2.0;
        double r35191 = r35189 - r35190;
        double r35192 = b;
        double r35193 = r35191 * r35192;
        double r35194 = a;
        double r35195 = r35188 - r35183;
        double r35196 = r35194 * r35195;
        double r35197 = r35193 - r35196;
        double r35198 = r35187 + r35197;
        return r35198;
}

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. Using strategy rm

  3. Applied sub-neg0.0

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

  4. Applied associate-+l+0.0

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

  5. Simplified0.0

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

  6. Final simplification0.0

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

Reproduce

herbie shell --seed 2019209 
(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)))