Average Error: 61.9 → 0
Time: 54.5s
Precision: 64
\[\Re(\left(\left(\left(\left(\left(\left(\left(\left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) + \left(\left(\left(\left(\left(-2\right) + 0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(\left(\left(5 + 0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(\left(4 + 0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(7 + 0 i\right)\right))\]
↓
\[\Re(\left(\left(5 + \frac{4}{\frac{2}{\sqrt{3}}} i\right) + \left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \left(-\frac{\sqrt{3}}{2}\right) i\right) \cdot \left(\left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \left(-\frac{\sqrt{3}}{2}\right) i\right) + \left(6 + \frac{\sqrt{3}}{2} \cdot -2 i\right)\right)\right))\]
\Re(\left(\left(\left(\left(\left(\left(\left(\left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) + \left(\left(\left(\left(\left(-2\right) + 0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(\left(\left(5 + 0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(\left(4 + 0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(7 + 0 i\right)\right))
↓
\Re(\left(\left(5 + \frac{4}{\frac{2}{\sqrt{3}}} i\right) + \left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \left(-\frac{\sqrt{3}}{2}\right) i\right) \cdot \left(\left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \left(-\frac{\sqrt{3}}{2}\right) i\right) + \left(6 + \frac{\sqrt{3}}{2} \cdot -2 i\right)\right)\right))
double f() {
        double r2485312 = 1.0;
        double r2485313 = -r2485312;
        double r2485314 = 2.0;
        double r2485315 = r2485313 / r2485314;
        double r2485316 = 3.0;
        double r2485317 = sqrt(r2485316);
        double r2485318 = r2485317 / r2485314;
        double r2485319 = /* ERROR: no complex support in C */;
        double r2485320 = r2485319 * r2485319;
        double r2485321 = r2485320 * r2485319;
        double r2485322 = r2485321 * r2485319;
        double r2485323 = -r2485314;
        double r2485324 = 0.0;
        double r2485325 = /* ERROR: no complex support in C */;
        double r2485326 = r2485325 * r2485319;
        double r2485327 = r2485326 * r2485319;
        double r2485328 = r2485327 * r2485319;
        double r2485329 = r2485322 + r2485328;
        double r2485330 = 5.0;
        double r2485331 = /* ERROR: no complex support in C */;
        double r2485332 = r2485331 * r2485319;
        double r2485333 = r2485332 * r2485319;
        double r2485334 = r2485329 + r2485333;
        double r2485335 = 4.0;
        double r2485336 = /* ERROR: no complex support in C */;
        double r2485337 = r2485336 * r2485319;
        double r2485338 = r2485334 + r2485337;
        double r2485339 = 7.0;
        double r2485340 = /* ERROR: no complex support in C */;
        double r2485341 = r2485338 + r2485340;
        double r2485342 = /* ERROR: no complex support in C */;
        return r2485342;
}
↓
double f() {
        double r2485343 = 5.0;
        double r2485344 = 4.0;
        double r2485345 = 2.0;
        double r2485346 = 3.0;
        double r2485347 = sqrt(r2485346);
        double r2485348 = r2485345 / r2485347;
        double r2485349 = r2485344 / r2485348;
        double r2485350 = /* ERROR: no complex support in C */;
        double r2485351 = 0.25;
        double r2485352 = r2485347 / r2485345;
        double r2485353 = r2485352 * r2485352;
        double r2485354 = r2485351 - r2485353;
        double r2485355 = -r2485352;
        double r2485356 = /* ERROR: no complex support in C */;
        double r2485357 = 6.0;
        double r2485358 = -2.0;
        double r2485359 = r2485352 * r2485358;
        double r2485360 = /* ERROR: no complex support in C */;
        double r2485361 = r2485356 + r2485360;
        double r2485362 = r2485356 * r2485361;
        double r2485363 = r2485350 + r2485362;
        double r2485364 = /* ERROR: no complex support in C */;
        return r2485364;
}

Error

Derivation

  1. Initial program 61.9

    \[\Re(\left(\left(\left(\left(\left(\left(\left(\left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) + \left(\left(\left(\left(\left(-2\right) + 0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(\left(\left(5 + 0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(\left(4 + 0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(7 + 0 i\right)\right))\]

  2. Simplified0

    \[\leadsto \color{blue}{\Re(\left(\left(5 + \frac{4}{\frac{2}{\sqrt{3}}} i\right) + \left(\left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \frac{\sqrt{3}}{2} \cdot -1 i\right) \cdot \left(\left(6 + \frac{\sqrt{3}}{2} \cdot -2 i\right) + \left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \frac{\sqrt{3}}{2} \cdot -1 i\right)\right)\right)\right))}\]

  3. Final simplification0

    \[\leadsto \Re(\left(\left(5 + \frac{4}{\frac{2}{\sqrt{3}}} i\right) + \left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \left(-\frac{\sqrt{3}}{2}\right) i\right) \cdot \left(\left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \left(-\frac{\sqrt{3}}{2}\right) i\right) + \left(6 + \frac{\sqrt{3}}{2} \cdot -2 i\right)\right)\right))\]

Reproduce

herbie shell --seed 2019128 
(FPCore ()
  :name "3.9.2 real part (p56)"
  (re (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))