Average Error: 0.0 → 0.0
Time: 3.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(\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(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
double f(double x, double y, double z, double t, double a, double b) {
        double r27657 = x;
        double r27658 = y;
        double r27659 = 1.0;
        double r27660 = r27658 - r27659;
        double r27661 = z;
        double r27662 = r27660 * r27661;
        double r27663 = r27657 - r27662;
        double r27664 = t;
        double r27665 = r27664 - r27659;
        double r27666 = a;
        double r27667 = r27665 * r27666;
        double r27668 = r27663 - r27667;
        double r27669 = r27658 + r27664;
        double r27670 = 2.0;
        double r27671 = r27669 - r27670;
        double r27672 = b;
        double r27673 = r27671 * r27672;
        double r27674 = r27668 + r27673;
        return r27674;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r27675 = x;
        double r27676 = y;
        double r27677 = 1.0;
        double r27678 = r27676 - r27677;
        double r27679 = z;
        double r27680 = r27678 * r27679;
        double r27681 = r27675 - r27680;
        double r27682 = t;
        double r27683 = r27682 - r27677;
        double r27684 = a;
        double r27685 = r27683 * r27684;
        double r27686 = r27681 - r27685;
        double r27687 = r27676 + r27682;
        double r27688 = 2.0;
        double r27689 = r27687 - r27688;
        double r27690 = b;
        double r27691 = r27689 * r27690;
        double r27692 = r27686 + r27691;
        return r27692;
}

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. Final simplification0.0

    \[\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 b\]

Reproduce

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