Average Error: 0.0 → 0.0
Time: 17.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 r98940 = x;
        double r98941 = y;
        double r98942 = 1.0;
        double r98943 = r98941 - r98942;
        double r98944 = z;
        double r98945 = r98943 * r98944;
        double r98946 = r98940 - r98945;
        double r98947 = t;
        double r98948 = r98947 - r98942;
        double r98949 = a;
        double r98950 = r98948 * r98949;
        double r98951 = r98946 - r98950;
        double r98952 = r98941 + r98947;
        double r98953 = 2.0;
        double r98954 = r98952 - r98953;
        double r98955 = b;
        double r98956 = r98954 * r98955;
        double r98957 = r98951 + r98956;
        return r98957;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r98958 = x;
        double r98959 = y;
        double r98960 = 1.0;
        double r98961 = r98959 - r98960;
        double r98962 = z;
        double r98963 = r98961 * r98962;
        double r98964 = r98958 - r98963;
        double r98965 = t;
        double r98966 = r98965 - r98960;
        double r98967 = a;
        double r98968 = r98966 * r98967;
        double r98969 = r98964 - r98968;
        double r98970 = r98959 + r98965;
        double r98971 = 2.0;
        double r98972 = r98970 - r98971;
        double r98973 = b;
        double r98974 = r98972 * r98973;
        double r98975 = r98969 + r98974;
        return r98975;
}

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