Average Error: 0.0 → 0.0
Time: 8.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) - \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 r39801 = x;
        double r39802 = y;
        double r39803 = 1.0;
        double r39804 = r39802 - r39803;
        double r39805 = z;
        double r39806 = r39804 * r39805;
        double r39807 = r39801 - r39806;
        double r39808 = t;
        double r39809 = r39808 - r39803;
        double r39810 = a;
        double r39811 = r39809 * r39810;
        double r39812 = r39807 - r39811;
        double r39813 = r39802 + r39808;
        double r39814 = 2.0;
        double r39815 = r39813 - r39814;
        double r39816 = b;
        double r39817 = r39815 * r39816;
        double r39818 = r39812 + r39817;
        return r39818;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r39819 = x;
        double r39820 = y;
        double r39821 = 1.0;
        double r39822 = r39820 - r39821;
        double r39823 = z;
        double r39824 = r39822 * r39823;
        double r39825 = r39819 - r39824;
        double r39826 = t;
        double r39827 = r39826 - r39821;
        double r39828 = a;
        double r39829 = r39827 * r39828;
        double r39830 = r39825 - r39829;
        double r39831 = r39820 + r39826;
        double r39832 = 2.0;
        double r39833 = r39831 - r39832;
        double r39834 = b;
        double r39835 = r39833 * r39834;
        double r39836 = r39830 + r39835;
        return r39836;
}

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 2019353 
(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)))