Average Error: 0.0 → 0.4
Time: 16.6s
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(y + t\right) - 2\right) \cdot \left(\sqrt[3]{b} \cdot \sqrt[3]{b}\right)\right) \cdot \sqrt[3]{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(y + t\right) - 2\right) \cdot \left(\sqrt[3]{b} \cdot \sqrt[3]{b}\right)\right) \cdot \sqrt[3]{b}
double f(double x, double y, double z, double t, double a, double b) {
        double r38655 = x;
        double r38656 = y;
        double r38657 = 1.0;
        double r38658 = r38656 - r38657;
        double r38659 = z;
        double r38660 = r38658 * r38659;
        double r38661 = r38655 - r38660;
        double r38662 = t;
        double r38663 = r38662 - r38657;
        double r38664 = a;
        double r38665 = r38663 * r38664;
        double r38666 = r38661 - r38665;
        double r38667 = r38656 + r38662;
        double r38668 = 2.0;
        double r38669 = r38667 - r38668;
        double r38670 = b;
        double r38671 = r38669 * r38670;
        double r38672 = r38666 + r38671;
        return r38672;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r38673 = x;
        double r38674 = y;
        double r38675 = 1.0;
        double r38676 = r38674 - r38675;
        double r38677 = z;
        double r38678 = r38676 * r38677;
        double r38679 = r38673 - r38678;
        double r38680 = t;
        double r38681 = r38680 - r38675;
        double r38682 = a;
        double r38683 = r38681 * r38682;
        double r38684 = r38679 - r38683;
        double r38685 = r38674 + r38680;
        double r38686 = 2.0;
        double r38687 = r38685 - r38686;
        double r38688 = b;
        double r38689 = cbrt(r38688);
        double r38690 = r38689 * r38689;
        double r38691 = r38687 * r38690;
        double r38692 = r38691 * r38689;
        double r38693 = r38684 + r38692;
        return r38693;
}

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

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

Reproduce

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