Average Error: 0.0 → 0.2
Time: 17.4s
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(\sqrt[3]{y - 1} \cdot \sqrt[3]{y - 1}\right) \cdot \left(\sqrt[3]{y - 1} \cdot z\right)\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(y + t\right) - 2\right) \cdot b
↓
\left(\left(x - \left(\sqrt[3]{y - 1} \cdot \sqrt[3]{y - 1}\right) \cdot \left(\sqrt[3]{y - 1} \cdot z\right)\right) - \left(t - 1\right) \cdot 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 r54998 = x;
        double r54999 = y;
        double r55000 = 1.0;
        double r55001 = r54999 - r55000;
        double r55002 = z;
        double r55003 = r55001 * r55002;
        double r55004 = r54998 - r55003;
        double r55005 = t;
        double r55006 = r55005 - r55000;
        double r55007 = a;
        double r55008 = r55006 * r55007;
        double r55009 = r55004 - r55008;
        double r55010 = r54999 + r55005;
        double r55011 = 2.0;
        double r55012 = r55010 - r55011;
        double r55013 = b;
        double r55014 = r55012 * r55013;
        double r55015 = r55009 + r55014;
        return r55015;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r55016 = x;
        double r55017 = y;
        double r55018 = 1.0;
        double r55019 = r55017 - r55018;
        double r55020 = cbrt(r55019);
        double r55021 = r55020 * r55020;
        double r55022 = z;
        double r55023 = r55020 * r55022;
        double r55024 = r55021 * r55023;
        double r55025 = r55016 - r55024;
        double r55026 = t;
        double r55027 = r55026 - r55018;
        double r55028 = a;
        double r55029 = r55027 * r55028;
        double r55030 = r55025 - r55029;
        double r55031 = r55017 + r55026;
        double r55032 = 2.0;
        double r55033 = r55031 - r55032;
        double r55034 = b;
        double r55035 = r55033 * r55034;
        double r55036 = r55030 + r55035;
        return r55036;
}

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

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

  4. Applied associate-*l*0.2

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

  5. Final simplification0.2

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

Reproduce

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