Average Error: 0.0 → 0.0
Time: 6.9s
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 r25084 = x;
        double r25085 = y;
        double r25086 = 1.0;
        double r25087 = r25085 - r25086;
        double r25088 = z;
        double r25089 = r25087 * r25088;
        double r25090 = r25084 - r25089;
        double r25091 = t;
        double r25092 = r25091 - r25086;
        double r25093 = a;
        double r25094 = r25092 * r25093;
        double r25095 = r25090 - r25094;
        double r25096 = r25085 + r25091;
        double r25097 = 2.0;
        double r25098 = r25096 - r25097;
        double r25099 = b;
        double r25100 = r25098 * r25099;
        double r25101 = r25095 + r25100;
        return r25101;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r25102 = x;
        double r25103 = y;
        double r25104 = 1.0;
        double r25105 = r25103 - r25104;
        double r25106 = z;
        double r25107 = r25105 * r25106;
        double r25108 = r25102 - r25107;
        double r25109 = t;
        double r25110 = r25109 - r25104;
        double r25111 = a;
        double r25112 = r25110 * r25111;
        double r25113 = r25108 - r25112;
        double r25114 = r25103 + r25109;
        double r25115 = 2.0;
        double r25116 = r25114 - r25115;
        double r25117 = b;
        double r25118 = r25116 * r25117;
        double r25119 = r25113 + r25118;
        return r25119;
}

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