Average Error: 0.1 → 0.1
Time: 25.3s
Precision: 64
\[\left(\left(x \cdot y + \frac{z \cdot t}{16}\right) - \frac{a \cdot b}{4}\right) + c\]
↓
\[\left(\left(\frac{z \cdot t}{16} + x \cdot y\right) - \frac{a \cdot b}{4}\right) + c\]
\left(\left(x \cdot y + \frac{z \cdot t}{16}\right) - \frac{a \cdot b}{4}\right) + c
↓
\left(\left(\frac{z \cdot t}{16} + x \cdot y\right) - \frac{a \cdot b}{4}\right) + c
double f(double x, double y, double z, double t, double a, double b, double c) {
        double r10702995 = x;
        double r10702996 = y;
        double r10702997 = r10702995 * r10702996;
        double r10702998 = z;
        double r10702999 = t;
        double r10703000 = r10702998 * r10702999;
        double r10703001 = 16.0;
        double r10703002 = r10703000 / r10703001;
        double r10703003 = r10702997 + r10703002;
        double r10703004 = a;
        double r10703005 = b;
        double r10703006 = r10703004 * r10703005;
        double r10703007 = 4.0;
        double r10703008 = r10703006 / r10703007;
        double r10703009 = r10703003 - r10703008;
        double r10703010 = c;
        double r10703011 = r10703009 + r10703010;
        return r10703011;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c) {
        double r10703012 = z;
        double r10703013 = t;
        double r10703014 = r10703012 * r10703013;
        double r10703015 = 16.0;
        double r10703016 = r10703014 / r10703015;
        double r10703017 = x;
        double r10703018 = y;
        double r10703019 = r10703017 * r10703018;
        double r10703020 = r10703016 + r10703019;
        double r10703021 = a;
        double r10703022 = b;
        double r10703023 = r10703021 * r10703022;
        double r10703024 = 4.0;
        double r10703025 = r10703023 / r10703024;
        double r10703026 = r10703020 - r10703025;
        double r10703027 = c;
        double r10703028 = r10703026 + r10703027;
        return r10703028;
}

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

Bits error versus c

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\left(\left(x \cdot y + \frac{z \cdot t}{16}\right) - \frac{a \cdot b}{4}\right) + c\]

  2. Final simplification0.1

    \[\leadsto \left(\left(\frac{z \cdot t}{16} + x \cdot y\right) - \frac{a \cdot b}{4}\right) + c\]

Reproduce

herbie shell --seed 2019172 
(FPCore (x y z t a b c)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, C"
  (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))