Average Error: 0.0 → 0.0
Time: 18.0s
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(-\left(\left(y + t\right) - 2\right)\right)\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(-\left(\left(y + t\right) - 2\right)\right)\right) \cdot b
double f(double x, double y, double z, double t, double a, double b) {
        double r48546 = x;
        double r48547 = y;
        double r48548 = 1.0;
        double r48549 = r48547 - r48548;
        double r48550 = z;
        double r48551 = r48549 * r48550;
        double r48552 = r48546 - r48551;
        double r48553 = t;
        double r48554 = r48553 - r48548;
        double r48555 = a;
        double r48556 = r48554 * r48555;
        double r48557 = r48552 - r48556;
        double r48558 = r48547 + r48553;
        double r48559 = 2.0;
        double r48560 = r48558 - r48559;
        double r48561 = b;
        double r48562 = r48560 * r48561;
        double r48563 = r48557 + r48562;
        return r48563;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r48564 = x;
        double r48565 = y;
        double r48566 = 1.0;
        double r48567 = r48565 - r48566;
        double r48568 = z;
        double r48569 = r48567 * r48568;
        double r48570 = r48564 - r48569;
        double r48571 = t;
        double r48572 = r48571 - r48566;
        double r48573 = a;
        double r48574 = r48572 * r48573;
        double r48575 = r48570 - r48574;
        double r48576 = r48565 + r48571;
        double r48577 = 2.0;
        double r48578 = r48576 - r48577;
        double r48579 = -r48578;
        double r48580 = -r48579;
        double r48581 = b;
        double r48582 = r48580 * r48581;
        double r48583 = r48575 + r48582;
        return r48583;
}

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 add-cube-cbrt0.4

    \[\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 \color{blue}{\left(\left(\sqrt[3]{b} \cdot \sqrt[3]{b}\right) \cdot \sqrt[3]{b}\right)}\]

  4. Applied associate-*r*0.4

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

  5. Final simplification0.0

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

Reproduce

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