Average Error: 61.9 → 0
Time: 20.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(\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))\]
\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(\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))
double f() {
        double r1010728 = 1.0;
        double r1010729 = -r1010728;
        double r1010730 = 2.0;
        double r1010731 = r1010729 / r1010730;
        double r1010732 = 3.0;
        double r1010733 = sqrt(r1010732);
        double r1010734 = r1010733 / r1010730;
        double r1010735 = /* ERROR: no complex support in C */;
        double r1010736 = r1010735 * r1010735;
        double r1010737 = r1010736 * r1010735;
        double r1010738 = r1010737 * r1010735;
        double r1010739 = -r1010730;
        double r1010740 = 0.0;
        double r1010741 = /* ERROR: no complex support in C */;
        double r1010742 = r1010741 * r1010735;
        double r1010743 = r1010742 * r1010735;
        double r1010744 = r1010743 * r1010735;
        double r1010745 = r1010738 + r1010744;
        double r1010746 = 5.0;
        double r1010747 = /* ERROR: no complex support in C */;
        double r1010748 = r1010747 * r1010735;
        double r1010749 = r1010748 * r1010735;
        double r1010750 = r1010745 + r1010749;
        double r1010751 = 4.0;
        double r1010752 = /* ERROR: no complex support in C */;
        double r1010753 = r1010752 * r1010735;
        double r1010754 = r1010750 + r1010753;
        double r1010755 = 7.0;
        double r1010756 = /* ERROR: no complex support in C */;
        double r1010757 = r1010754 + r1010756;
        double r1010758 = /* ERROR: no complex support in C */;
        return r1010758;
}
↓
double f() {
        double r1010759 = 5.0;
        double r1010760 = 3.0;
        double r1010761 = sqrt(r1010760);
        double r1010762 = 2.0;
        double r1010763 = r1010761 / r1010762;
        double r1010764 = 4.0;
        double r1010765 = r1010763 * r1010764;
        double r1010766 = /* ERROR: no complex support in C */;
        double r1010767 = 0.25;
        double r1010768 = r1010763 * r1010763;
        double r1010769 = r1010767 - r1010768;
        double r1010770 = -r1010761;
        double r1010771 = r1010770 / r1010762;
        double r1010772 = /* ERROR: no complex support in C */;
        double r1010773 = 6.0;
        double r1010774 = -0.5;
        double r1010775 = 0.5;
        double r1010776 = r1010761 / r1010775;
        double r1010777 = r1010774 * r1010776;
        double r1010778 = /* ERROR: no complex support in C */;
        double r1010779 = r1010772 + r1010778;
        double r1010780 = r1010779 * r1010772;
        double r1010781 = r1010766 + r1010780;
        double r1010782 = /* ERROR: no complex support in C */;
        return r1010782;
}

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(\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))\]

Reproduce

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