Average Error: 0.0 → 0.0
Time: 24.7s
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) - a \cdot \left(t - 1\right)\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) - a \cdot \left(t - 1\right)\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 r4291787 = x;
        double r4291788 = y;
        double r4291789 = 1.0;
        double r4291790 = r4291788 - r4291789;
        double r4291791 = z;
        double r4291792 = r4291790 * r4291791;
        double r4291793 = r4291787 - r4291792;
        double r4291794 = t;
        double r4291795 = r4291794 - r4291789;
        double r4291796 = a;
        double r4291797 = r4291795 * r4291796;
        double r4291798 = r4291793 - r4291797;
        double r4291799 = r4291788 + r4291794;
        double r4291800 = 2.0;
        double r4291801 = r4291799 - r4291800;
        double r4291802 = b;
        double r4291803 = r4291801 * r4291802;
        double r4291804 = r4291798 + r4291803;
        return r4291804;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r4291805 = x;
        double r4291806 = y;
        double r4291807 = 1.0;
        double r4291808 = r4291806 - r4291807;
        double r4291809 = z;
        double r4291810 = r4291808 * r4291809;
        double r4291811 = r4291805 - r4291810;
        double r4291812 = a;
        double r4291813 = t;
        double r4291814 = r4291813 - r4291807;
        double r4291815 = r4291812 * r4291814;
        double r4291816 = r4291811 - r4291815;
        double r4291817 = r4291806 + r4291813;
        double r4291818 = 2.0;
        double r4291819 = r4291817 - r4291818;
        double r4291820 = b;
        double r4291821 = r4291819 * r4291820;
        double r4291822 = r4291816 + r4291821;
        return r4291822;
}

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 *-commutative0.0

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

  4. Final simplification0.0

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

Reproduce

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