Average Error: 0.0 → 0.0
Time: 15.8s
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(-z\right) \cdot \left(y - 1\right) + \left(\left(x - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\right)\]
\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(-z\right) \cdot \left(y - 1\right) + \left(\left(x - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\right)
double f(double x, double y, double z, double t, double a, double b) {
        double r45487 = x;
        double r45488 = y;
        double r45489 = 1.0;
        double r45490 = r45488 - r45489;
        double r45491 = z;
        double r45492 = r45490 * r45491;
        double r45493 = r45487 - r45492;
        double r45494 = t;
        double r45495 = r45494 - r45489;
        double r45496 = a;
        double r45497 = r45495 * r45496;
        double r45498 = r45493 - r45497;
        double r45499 = r45488 + r45494;
        double r45500 = 2.0;
        double r45501 = r45499 - r45500;
        double r45502 = b;
        double r45503 = r45501 * r45502;
        double r45504 = r45498 + r45503;
        return r45504;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r45505 = z;
        double r45506 = -r45505;
        double r45507 = y;
        double r45508 = 1.0;
        double r45509 = r45507 - r45508;
        double r45510 = r45506 * r45509;
        double r45511 = x;
        double r45512 = t;
        double r45513 = r45512 - r45508;
        double r45514 = a;
        double r45515 = r45513 * r45514;
        double r45516 = r45511 - r45515;
        double r45517 = r45507 + r45512;
        double r45518 = 2.0;
        double r45519 = r45517 - r45518;
        double r45520 = b;
        double r45521 = r45519 * r45520;
        double r45522 = r45516 + r45521;
        double r45523 = r45510 + r45522;
        return r45523;
}

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. Using strategy rm

  3. Applied add-cube-cbrt0.2

    \[\leadsto \left(\left(x - \color{blue}{\left(\left(\sqrt[3]{y - 1} \cdot \sqrt[3]{y - 1}\right) \cdot \sqrt[3]{y - 1}\right)} \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\]

  4. Applied associate-*l*0.2

    \[\leadsto \left(\left(x - \color{blue}{\left(\sqrt[3]{y - 1} \cdot \sqrt[3]{y - 1}\right) \cdot \left(\sqrt[3]{y - 1} \cdot z\right)}\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\]
  5. Using strategy rm

  6. Applied *-un-lft-identity0.2

    \[\leadsto \left(\left(x - \left(\sqrt[3]{\color{blue}{1 \cdot \left(y - 1\right)}} \cdot \sqrt[3]{y - 1}\right) \cdot \left(\sqrt[3]{y - 1} \cdot z\right)\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\]

  7. Applied cbrt-prod0.2

    \[\leadsto \left(\left(x - \left(\color{blue}{\left(\sqrt[3]{1} \cdot \sqrt[3]{y - 1}\right)} \cdot \sqrt[3]{y - 1}\right) \cdot \left(\sqrt[3]{y - 1} \cdot z\right)\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\]

  8. Simplified0.2

    \[\leadsto \left(\left(x - \left(\left(\color{blue}{1} \cdot \sqrt[3]{y - 1}\right) \cdot \sqrt[3]{y - 1}\right) \cdot \left(\sqrt[3]{y - 1} \cdot z\right)\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\]

  9. Final simplification0.0

    \[\leadsto \left(-z\right) \cdot \left(y - 1\right) + \left(\left(x - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\right)\]

Reproduce

herbie shell --seed 2019298 
(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)))