Average Error: 0.0 → 0.4
Time: 5.1s
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(\sqrt[3]{\left(\left(y + t\right) - 2\right) \cdot b} \cdot \sqrt[3]{\left(\left(y + t\right) - 2\right) \cdot b}\right) \cdot \sqrt[3]{\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(\sqrt[3]{\left(\left(y + t\right) - 2\right) \cdot b} \cdot \sqrt[3]{\left(\left(y + t\right) - 2\right) \cdot b}\right) \cdot \sqrt[3]{\left(\left(y + t\right) - 2\right) \cdot b}
double f(double x, double y, double z, double t, double a, double b) {
        double r35225 = x;
        double r35226 = y;
        double r35227 = 1.0;
        double r35228 = r35226 - r35227;
        double r35229 = z;
        double r35230 = r35228 * r35229;
        double r35231 = r35225 - r35230;
        double r35232 = t;
        double r35233 = r35232 - r35227;
        double r35234 = a;
        double r35235 = r35233 * r35234;
        double r35236 = r35231 - r35235;
        double r35237 = r35226 + r35232;
        double r35238 = 2.0;
        double r35239 = r35237 - r35238;
        double r35240 = b;
        double r35241 = r35239 * r35240;
        double r35242 = r35236 + r35241;
        return r35242;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r35243 = x;
        double r35244 = y;
        double r35245 = 1.0;
        double r35246 = r35244 - r35245;
        double r35247 = z;
        double r35248 = r35246 * r35247;
        double r35249 = r35243 - r35248;
        double r35250 = t;
        double r35251 = r35250 - r35245;
        double r35252 = a;
        double r35253 = r35251 * r35252;
        double r35254 = r35249 - r35253;
        double r35255 = r35244 + r35250;
        double r35256 = 2.0;
        double r35257 = r35255 - r35256;
        double r35258 = b;
        double r35259 = r35257 * r35258;
        double r35260 = cbrt(r35259);
        double r35261 = r35260 * r35260;
        double r35262 = r35261 * r35260;
        double r35263 = r35254 + r35262;
        return r35263;
}

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

  4. Final simplification0.4

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

Reproduce

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