Average Error: 0.1 → 0.0
Time: 11.9s
Precision: 64
\[\left(\left(x \cdot y + \frac{z \cdot t}{16.0}\right) - \frac{a \cdot b}{4.0}\right) + c\]
↓
\[\left(\left(z \cdot \frac{t}{16.0} + x \cdot y\right) - \frac{a \cdot b}{4.0}\right) + c\]
\left(\left(x \cdot y + \frac{z \cdot t}{16.0}\right) - \frac{a \cdot b}{4.0}\right) + c
↓
\left(\left(z \cdot \frac{t}{16.0} + x \cdot y\right) - \frac{a \cdot b}{4.0}\right) + c
double f(double x, double y, double z, double t, double a, double b, double c) {
        double r4363019 = x;
        double r4363020 = y;
        double r4363021 = r4363019 * r4363020;
        double r4363022 = z;
        double r4363023 = t;
        double r4363024 = r4363022 * r4363023;
        double r4363025 = 16.0;
        double r4363026 = r4363024 / r4363025;
        double r4363027 = r4363021 + r4363026;
        double r4363028 = a;
        double r4363029 = b;
        double r4363030 = r4363028 * r4363029;
        double r4363031 = 4.0;
        double r4363032 = r4363030 / r4363031;
        double r4363033 = r4363027 - r4363032;
        double r4363034 = c;
        double r4363035 = r4363033 + r4363034;
        return r4363035;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c) {
        double r4363036 = z;
        double r4363037 = t;
        double r4363038 = 16.0;
        double r4363039 = r4363037 / r4363038;
        double r4363040 = r4363036 * r4363039;
        double r4363041 = x;
        double r4363042 = y;
        double r4363043 = r4363041 * r4363042;
        double r4363044 = r4363040 + r4363043;
        double r4363045 = a;
        double r4363046 = b;
        double r4363047 = r4363045 * r4363046;
        double r4363048 = 4.0;
        double r4363049 = r4363047 / r4363048;
        double r4363050 = r4363044 - r4363049;
        double r4363051 = c;
        double r4363052 = r4363050 + r4363051;
        return r4363052;
}

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.0}\right) - \frac{a \cdot b}{4.0}\right) + c\]
  2. Using strategy rm

  3. Applied *-un-lft-identity0.1

    \[\leadsto \left(\left(x \cdot y + \frac{z \cdot t}{\color{blue}{1 \cdot 16.0}}\right) - \frac{a \cdot b}{4.0}\right) + c\]

  4. Applied times-frac0.0

    \[\leadsto \left(\left(x \cdot y + \color{blue}{\frac{z}{1} \cdot \frac{t}{16.0}}\right) - \frac{a \cdot b}{4.0}\right) + c\]

  5. Simplified0.0

    \[\leadsto \left(\left(x \cdot y + \color{blue}{z} \cdot \frac{t}{16.0}\right) - \frac{a \cdot b}{4.0}\right) + c\]

  6. Final simplification0.0

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

Reproduce

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