Average Error: 0.0 → 0.0
Time: 19.8s
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(x - \left(y - 1\right) \cdot z\right) + \left(\left(\left(t - 2\right) \cdot b + y \cdot b\right) - \left(t - 1\right) \cdot a\right)\]
\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(x - \left(y - 1\right) \cdot z\right) + \left(\left(\left(t - 2\right) \cdot b + y \cdot b\right) - \left(t - 1\right) \cdot a\right)
double f(double x, double y, double z, double t, double a, double b) {
        double r3122815 = x;
        double r3122816 = y;
        double r3122817 = 1.0;
        double r3122818 = r3122816 - r3122817;
        double r3122819 = z;
        double r3122820 = r3122818 * r3122819;
        double r3122821 = r3122815 - r3122820;
        double r3122822 = t;
        double r3122823 = r3122822 - r3122817;
        double r3122824 = a;
        double r3122825 = r3122823 * r3122824;
        double r3122826 = r3122821 - r3122825;
        double r3122827 = r3122816 + r3122822;
        double r3122828 = 2.0;
        double r3122829 = r3122827 - r3122828;
        double r3122830 = b;
        double r3122831 = r3122829 * r3122830;
        double r3122832 = r3122826 + r3122831;
        return r3122832;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r3122833 = x;
        double r3122834 = y;
        double r3122835 = 1.0;
        double r3122836 = r3122834 - r3122835;
        double r3122837 = z;
        double r3122838 = r3122836 * r3122837;
        double r3122839 = r3122833 - r3122838;
        double r3122840 = t;
        double r3122841 = 2.0;
        double r3122842 = r3122840 - r3122841;
        double r3122843 = b;
        double r3122844 = r3122842 * r3122843;
        double r3122845 = r3122834 * r3122843;
        double r3122846 = r3122844 + r3122845;
        double r3122847 = r3122840 - r3122835;
        double r3122848 = a;
        double r3122849 = r3122847 * r3122848;
        double r3122850 = r3122846 - r3122849;
        double r3122851 = r3122839 + r3122850;
        return r3122851;
}

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 sub-neg0.0

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

  4. Applied associate-+l+0.0

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

  5. Simplified0.0

    \[\leadsto \left(x - \left(y - 1\right) \cdot z\right) + \color{blue}{\left(b \cdot \left(y + \left(t - 2\right)\right) - a \cdot \left(t - 1\right)\right)}\]
  6. Using strategy rm

  7. Applied distribute-lft-in0.0

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

  8. Final simplification0.0

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

Reproduce

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