Average Error: 0.0 → 0.0
Time: 17.2s
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 r39285 = x;
        double r39286 = y;
        double r39287 = 1.0;
        double r39288 = r39286 - r39287;
        double r39289 = z;
        double r39290 = r39288 * r39289;
        double r39291 = r39285 - r39290;
        double r39292 = t;
        double r39293 = r39292 - r39287;
        double r39294 = a;
        double r39295 = r39293 * r39294;
        double r39296 = r39291 - r39295;
        double r39297 = r39286 + r39292;
        double r39298 = 2.0;
        double r39299 = r39297 - r39298;
        double r39300 = b;
        double r39301 = r39299 * r39300;
        double r39302 = r39296 + r39301;
        return r39302;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r39303 = x;
        double r39304 = y;
        double r39305 = 1.0;
        double r39306 = r39304 - r39305;
        double r39307 = z;
        double r39308 = r39306 * r39307;
        double r39309 = r39303 - r39308;
        double r39310 = t;
        double r39311 = r39310 - r39305;
        double r39312 = a;
        double r39313 = r39311 * r39312;
        double r39314 = r39309 - r39313;
        double r39315 = r39304 + r39310;
        double r39316 = 2.0;
        double r39317 = r39315 - r39316;
        double r39318 = b;
        double r39319 = r39317 * r39318;
        double r39320 = r39314 + r39319;
        return r39320;
}

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