Average Error: 61.9 → 0
Time: 21.0s
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{\sqrt{3}}{2} \cdot 4 i\right) + \left(\left(\left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \frac{-\sqrt{3}}{2} i\right) + \left(6 + \frac{-1}{2} \cdot \frac{\sqrt{3}}{\frac{1}{2}} i\right)\right) \cdot \left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \frac{-\sqrt{3}}{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{\sqrt{3}}{2} \cdot 4 i\right) + \left(\left(\left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \frac{-\sqrt{3}}{2} i\right) + \left(6 + \frac{-1}{2} \cdot \frac{\sqrt{3}}{\frac{1}{2}} i\right)\right) \cdot \left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \frac{-\sqrt{3}}{2} i\right)\right)\right))
double f() {
        double r1776324 = 1.0;
        double r1776325 = -r1776324;
        double r1776326 = 2.0;
        double r1776327 = r1776325 / r1776326;
        double r1776328 = 3.0;
        double r1776329 = sqrt(r1776328);
        double r1776330 = r1776329 / r1776326;
        double r1776331 = /* ERROR: no complex support in C */;
        double r1776332 = r1776331 * r1776331;
        double r1776333 = r1776332 * r1776331;
        double r1776334 = r1776333 * r1776331;
        double r1776335 = -r1776326;
        double r1776336 = 0.0;
        double r1776337 = /* ERROR: no complex support in C */;
        double r1776338 = r1776337 * r1776331;
        double r1776339 = r1776338 * r1776331;
        double r1776340 = r1776339 * r1776331;
        double r1776341 = r1776334 + r1776340;
        double r1776342 = 5.0;
        double r1776343 = /* ERROR: no complex support in C */;
        double r1776344 = r1776343 * r1776331;
        double r1776345 = r1776344 * r1776331;
        double r1776346 = r1776341 + r1776345;
        double r1776347 = 4.0;
        double r1776348 = /* ERROR: no complex support in C */;
        double r1776349 = r1776348 * r1776331;
        double r1776350 = r1776346 + r1776349;
        double r1776351 = 7.0;
        double r1776352 = /* ERROR: no complex support in C */;
        double r1776353 = r1776350 + r1776352;
        double r1776354 = /* ERROR: no complex support in C */;
        return r1776354;
}
↓
double f() {
        double r1776355 = 5.0;
        double r1776356 = 3.0;
        double r1776357 = sqrt(r1776356);
        double r1776358 = 2.0;
        double r1776359 = r1776357 / r1776358;
        double r1776360 = 4.0;
        double r1776361 = r1776359 * r1776360;
        double r1776362 = /* ERROR: no complex support in C */;
        double r1776363 = 0.25;
        double r1776364 = r1776359 * r1776359;
        double r1776365 = r1776363 - r1776364;
        double r1776366 = -r1776357;
        double r1776367 = r1776366 / r1776358;
        double r1776368 = /* ERROR: no complex support in C */;
        double r1776369 = 6.0;
        double r1776370 = -0.5;
        double r1776371 = 0.5;
        double r1776372 = r1776357 / r1776371;
        double r1776373 = r1776370 * r1776372;
        double r1776374 = /* ERROR: no complex support in C */;
        double r1776375 = r1776368 + r1776374;
        double r1776376 = r1776375 * r1776368;
        double r1776377 = r1776362 + r1776376;
        double r1776378 = /* ERROR: no complex support in C */;
        return r1776378;
}

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{\sqrt{3}}{2} \cdot 4 i\right) + \left(\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{-1}{2} \cdot \frac{\sqrt{3}}{\frac{1}{2}} i\right)\right)\right)\right))}\]

  3. Final simplification0

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

Reproduce

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