Average Error: 61.9 → 0
Time: 21.9s
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 r1750467 = 1.0;
        double r1750468 = -r1750467;
        double r1750469 = 2.0;
        double r1750470 = r1750468 / r1750469;
        double r1750471 = 3.0;
        double r1750472 = sqrt(r1750471);
        double r1750473 = r1750472 / r1750469;
        double r1750474 = /* ERROR: no complex support in C */;
        double r1750475 = r1750474 * r1750474;
        double r1750476 = r1750475 * r1750474;
        double r1750477 = r1750476 * r1750474;
        double r1750478 = -r1750469;
        double r1750479 = 0.0;
        double r1750480 = /* ERROR: no complex support in C */;
        double r1750481 = r1750480 * r1750474;
        double r1750482 = r1750481 * r1750474;
        double r1750483 = r1750482 * r1750474;
        double r1750484 = r1750477 + r1750483;
        double r1750485 = 5.0;
        double r1750486 = /* ERROR: no complex support in C */;
        double r1750487 = r1750486 * r1750474;
        double r1750488 = r1750487 * r1750474;
        double r1750489 = r1750484 + r1750488;
        double r1750490 = 4.0;
        double r1750491 = /* ERROR: no complex support in C */;
        double r1750492 = r1750491 * r1750474;
        double r1750493 = r1750489 + r1750492;
        double r1750494 = 7.0;
        double r1750495 = /* ERROR: no complex support in C */;
        double r1750496 = r1750493 + r1750495;
        double r1750497 = /* ERROR: no complex support in C */;
        return r1750497;
}
↓
double f() {
        double r1750498 = 5.0;
        double r1750499 = 3.0;
        double r1750500 = sqrt(r1750499);
        double r1750501 = 2.0;
        double r1750502 = r1750500 / r1750501;
        double r1750503 = 4.0;
        double r1750504 = r1750502 * r1750503;
        double r1750505 = /* ERROR: no complex support in C */;
        double r1750506 = 0.25;
        double r1750507 = r1750502 * r1750502;
        double r1750508 = r1750506 - r1750507;
        double r1750509 = -r1750500;
        double r1750510 = r1750509 / r1750501;
        double r1750511 = /* ERROR: no complex support in C */;
        double r1750512 = 6.0;
        double r1750513 = -0.5;
        double r1750514 = 0.5;
        double r1750515 = r1750500 / r1750514;
        double r1750516 = r1750513 * r1750515;
        double r1750517 = /* ERROR: no complex support in C */;
        double r1750518 = r1750511 + r1750517;
        double r1750519 = r1750518 * r1750511;
        double r1750520 = r1750505 + r1750519;
        double r1750521 = /* ERROR: no complex support in C */;
        return r1750521;
}

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 2019164 
(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))))