Average Error: 0.0 → 0.0
Time: 8.0s
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 r13082 = x;
        double r13083 = y;
        double r13084 = 1.0;
        double r13085 = r13083 - r13084;
        double r13086 = z;
        double r13087 = r13085 * r13086;
        double r13088 = r13082 - r13087;
        double r13089 = t;
        double r13090 = r13089 - r13084;
        double r13091 = a;
        double r13092 = r13090 * r13091;
        double r13093 = r13088 - r13092;
        double r13094 = r13083 + r13089;
        double r13095 = 2.0;
        double r13096 = r13094 - r13095;
        double r13097 = b;
        double r13098 = r13096 * r13097;
        double r13099 = r13093 + r13098;
        return r13099;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r13100 = x;
        double r13101 = y;
        double r13102 = 1.0;
        double r13103 = r13101 - r13102;
        double r13104 = z;
        double r13105 = r13103 * r13104;
        double r13106 = r13100 - r13105;
        double r13107 = t;
        double r13108 = r13107 - r13102;
        double r13109 = a;
        double r13110 = r13108 * r13109;
        double r13111 = r13106 - r13110;
        double r13112 = r13101 + r13107;
        double r13113 = 2.0;
        double r13114 = r13112 - r13113;
        double r13115 = b;
        double r13116 = r13114 * r13115;
        double r13117 = r13111 + r13116;
        return r13117;
}

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