Average Error: 5.8 → 1.7
Time: 28.4s
Precision: 64
\[2.0 \cdot \left(\left(x \cdot y + z \cdot t\right) - \left(\left(a + b \cdot c\right) \cdot c\right) \cdot i\right)\]
↓
\[2.0 \cdot \left(\left(y \cdot x + z \cdot t\right) - \left(a + b \cdot c\right) \cdot \left(c \cdot i\right)\right)\]
2.0 \cdot \left(\left(x \cdot y + z \cdot t\right) - \left(\left(a + b \cdot c\right) \cdot c\right) \cdot i\right)
↓
2.0 \cdot \left(\left(y \cdot x + z \cdot t\right) - \left(a + b \cdot c\right) \cdot \left(c \cdot i\right)\right)
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r33209822 = 2.0;
        double r33209823 = x;
        double r33209824 = y;
        double r33209825 = r33209823 * r33209824;
        double r33209826 = z;
        double r33209827 = t;
        double r33209828 = r33209826 * r33209827;
        double r33209829 = r33209825 + r33209828;
        double r33209830 = a;
        double r33209831 = b;
        double r33209832 = c;
        double r33209833 = r33209831 * r33209832;
        double r33209834 = r33209830 + r33209833;
        double r33209835 = r33209834 * r33209832;
        double r33209836 = i;
        double r33209837 = r33209835 * r33209836;
        double r33209838 = r33209829 - r33209837;
        double r33209839 = r33209822 * r33209838;
        return r33209839;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r33209840 = 2.0;
        double r33209841 = y;
        double r33209842 = x;
        double r33209843 = r33209841 * r33209842;
        double r33209844 = z;
        double r33209845 = t;
        double r33209846 = r33209844 * r33209845;
        double r33209847 = r33209843 + r33209846;
        double r33209848 = a;
        double r33209849 = b;
        double r33209850 = c;
        double r33209851 = r33209849 * r33209850;
        double r33209852 = r33209848 + r33209851;
        double r33209853 = i;
        double r33209854 = r33209850 * r33209853;
        double r33209855 = r33209852 * r33209854;
        double r33209856 = r33209847 - r33209855;
        double r33209857 = r33209840 * r33209856;
        return r33209857;
}

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

Bits error versus i

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original5.8
Target1.7
Herbie1.7
\[2.0 \cdot \left(\left(x \cdot y + z \cdot t\right) - \left(a + b \cdot c\right) \cdot \left(c \cdot i\right)\right)\]

Derivation

  1. Initial program 5.8

    \[2.0 \cdot \left(\left(x \cdot y + z \cdot t\right) - \left(\left(a + b \cdot c\right) \cdot c\right) \cdot i\right)\]
  2. Using strategy rm

  3. Applied associate-*l*1.7

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

  4. Final simplification1.7

    \[\leadsto 2.0 \cdot \left(\left(y \cdot x + z \cdot t\right) - \left(a + b \cdot c\right) \cdot \left(c \cdot i\right)\right)\]

Reproduce

herbie shell --seed 2019162 
(FPCore (x y z t a b c i)
  :name "Diagrams.ThreeD.Shapes:frustum from diagrams-lib-1.3.0.3, A"

  :herbie-target
  (* 2.0 (- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i))))

  (* 2.0 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))))