Average Error: 6.4 → 1.8
Time: 11.4s
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 r504190 = 2.0;
        double r504191 = x;
        double r504192 = y;
        double r504193 = r504191 * r504192;
        double r504194 = z;
        double r504195 = t;
        double r504196 = r504194 * r504195;
        double r504197 = r504193 + r504196;
        double r504198 = a;
        double r504199 = b;
        double r504200 = c;
        double r504201 = r504199 * r504200;
        double r504202 = r504198 + r504201;
        double r504203 = r504202 * r504200;
        double r504204 = i;
        double r504205 = r504203 * r504204;
        double r504206 = r504197 - r504205;
        double r504207 = r504190 * r504206;
        return r504207;
}
↓
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r504208 = 2.0;
        double r504209 = x;
        double r504210 = y;
        double r504211 = r504209 * r504210;
        double r504212 = z;
        double r504213 = t;
        double r504214 = r504212 * r504213;
        double r504215 = r504211 + r504214;
        double r504216 = a;
        double r504217 = b;
        double r504218 = c;
        double r504219 = r504217 * r504218;
        double r504220 = r504216 + r504219;
        double r504221 = i;
        double r504222 = r504218 * r504221;
        double r504223 = r504220 * r504222;
        double r504224 = r504215 - r504223;
        double r504225 = r504208 * r504224;
        return r504225;
}

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.4
Target1.8
Herbie1.8
\[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.4

    \[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.8

    \[\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.8

    \[\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 1978988140 
(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))))