Average Error: 0.0 → 0.4
Time: 35.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(\left(x - \left(y - 1\right) \cdot z\right) - \left(\left(\sqrt[3]{a} \cdot \sqrt[3]{a}\right) \cdot \left(t - 1\right)\right) \cdot \sqrt[3]{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(\left(\sqrt[3]{a} \cdot \sqrt[3]{a}\right) \cdot \left(t - 1\right)\right) \cdot \sqrt[3]{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 r69235 = x;
        double r69236 = y;
        double r69237 = 1.0;
        double r69238 = r69236 - r69237;
        double r69239 = z;
        double r69240 = r69238 * r69239;
        double r69241 = r69235 - r69240;
        double r69242 = t;
        double r69243 = r69242 - r69237;
        double r69244 = a;
        double r69245 = r69243 * r69244;
        double r69246 = r69241 - r69245;
        double r69247 = r69236 + r69242;
        double r69248 = 2.0;
        double r69249 = r69247 - r69248;
        double r69250 = b;
        double r69251 = r69249 * r69250;
        double r69252 = r69246 + r69251;
        return r69252;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r69253 = x;
        double r69254 = y;
        double r69255 = 1.0;
        double r69256 = r69254 - r69255;
        double r69257 = z;
        double r69258 = r69256 * r69257;
        double r69259 = r69253 - r69258;
        double r69260 = a;
        double r69261 = cbrt(r69260);
        double r69262 = r69261 * r69261;
        double r69263 = t;
        double r69264 = r69263 - r69255;
        double r69265 = r69262 * r69264;
        double r69266 = r69265 * r69261;
        double r69267 = r69259 - r69266;
        double r69268 = r69254 + r69263;
        double r69269 = 2.0;
        double r69270 = r69268 - r69269;
        double r69271 = b;
        double r69272 = r69270 * r69271;
        double r69273 = r69267 + r69272;
        return r69273;
}

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.3

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

  4. Applied associate-*r*0.4

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

  5. Simplified0.4

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

  6. Final simplification0.4

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

Reproduce

herbie shell --seed 2019199 
(FPCore (x y z t a b)
  :name "Statistics.Distribution.Beta:$centropy from math-functions-0.1.5.2"
  (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))