Average Error: 0.0 → 0.0
Time: 9.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\]
↓
\[x + \left(\left(\left(y + t\right) - 2\right) \cdot b - \left(\left(y - 1\right) \cdot z + \left(t - 1\right) \cdot a\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
↓
x + \left(\left(\left(y + t\right) - 2\right) \cdot b - \left(\left(y - 1\right) \cdot z + \left(t - 1\right) \cdot a\right)\right)
double f(double x, double y, double z, double t, double a, double b) {
        double r33563 = x;
        double r33564 = y;
        double r33565 = 1.0;
        double r33566 = r33564 - r33565;
        double r33567 = z;
        double r33568 = r33566 * r33567;
        double r33569 = r33563 - r33568;
        double r33570 = t;
        double r33571 = r33570 - r33565;
        double r33572 = a;
        double r33573 = r33571 * r33572;
        double r33574 = r33569 - r33573;
        double r33575 = r33564 + r33570;
        double r33576 = 2.0;
        double r33577 = r33575 - r33576;
        double r33578 = b;
        double r33579 = r33577 * r33578;
        double r33580 = r33574 + r33579;
        return r33580;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r33581 = x;
        double r33582 = y;
        double r33583 = t;
        double r33584 = r33582 + r33583;
        double r33585 = 2.0;
        double r33586 = r33584 - r33585;
        double r33587 = b;
        double r33588 = r33586 * r33587;
        double r33589 = 1.0;
        double r33590 = r33582 - r33589;
        double r33591 = z;
        double r33592 = r33590 * r33591;
        double r33593 = r33583 - r33589;
        double r33594 = a;
        double r33595 = r33593 * r33594;
        double r33596 = r33592 + r33595;
        double r33597 = r33588 - r33596;
        double r33598 = r33581 + r33597;
        return r33598;
}

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 \left(\color{blue}{\left(x + \left(-\left(y - 1\right) \cdot z\right)\right)} - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\]

  4. Applied associate--l+0.0

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

  5. Applied associate-+l+0.0

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

  6. Simplified0.0

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

  7. Final simplification0.0

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

Reproduce

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