Average Error: 6.3 → 1.6
Time: 7.1s
Precision: 64
\[2 \cdot \left(\left(x \cdot y + z \cdot t\right) - \left(\left(a + b \cdot c\right) \cdot c\right) \cdot i\right)\]
↓
\[2 \cdot \left(\left(x \cdot y + z \cdot t\right) - \left(a + b \cdot c\right) \cdot \left(c \cdot i\right)\right)\]
2 \cdot \left(\left(x \cdot y + z \cdot t\right) - \left(\left(a + b \cdot c\right) \cdot c\right) \cdot i\right)
↓
2 \cdot \left(\left(x \cdot y + 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 r836645 = 2.0;
        double r836646 = x;
        double r836647 = y;
        double r836648 = r836646 * r836647;
        double r836649 = z;
        double r836650 = t;
        double r836651 = r836649 * r836650;
        double r836652 = r836648 + r836651;
        double r836653 = a;
        double r836654 = b;
        double r836655 = c;
        double r836656 = r836654 * r836655;
        double r836657 = r836653 + r836656;
        double r836658 = r836657 * r836655;
        double r836659 = i;
        double r836660 = r836658 * r836659;
        double r836661 = r836652 - r836660;
        double r836662 = r836645 * r836661;
        return r836662;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r836663 = 2.0;
        double r836664 = x;
        double r836665 = y;
        double r836666 = r836664 * r836665;
        double r836667 = z;
        double r836668 = t;
        double r836669 = r836667 * r836668;
        double r836670 = r836666 + r836669;
        double r836671 = a;
        double r836672 = b;
        double r836673 = c;
        double r836674 = r836672 * r836673;
        double r836675 = r836671 + r836674;
        double r836676 = i;
        double r836677 = r836673 * r836676;
        double r836678 = r836675 * r836677;
        double r836679 = r836670 - r836678;
        double r836680 = r836663 * r836679;
        return r836680;
}

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

Original6.3
Target1.6
Herbie1.6
\[2 \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 6.3

    \[2 \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.6

    \[\leadsto 2 \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.6

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

Reproduce

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

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

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