Average Error: 61.9 → 0
Time: 22.1s
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.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.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.0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(7 + 0.0 i\right)\right))\]
↓
\[\Re(\left(\left(7 + 0.0 i\right) + \left(\left(\left(4 + 0.0 i\right) + \left(\left(\left(-\frac{1}{2}\right) + \frac{\sqrt{3}}{2} i\right) \cdot \left(\left(5 + 0.0 i\right) + \left(\left(\left(\frac{1}{2} + 2\right) \cdot \frac{1}{2} - \frac{\sqrt{3}}{2} \cdot \left(0.0 + \frac{\sqrt{3}}{2}\right)\right) + \left(\left(-\frac{\sqrt{3}}{2}\right) \cdot \left(\frac{1}{2} + 2\right) + \left(0.0 + \frac{\sqrt{3}}{2}\right) \cdot \left(-\frac{1}{2}\right)\right) i\right)\right)\right)\right) \cdot \left(\left(-\frac{1}{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.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.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.0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(7 + 0.0 i\right)\right))
↓
\Re(\left(\left(7 + 0.0 i\right) + \left(\left(\left(4 + 0.0 i\right) + \left(\left(\left(-\frac{1}{2}\right) + \frac{\sqrt{3}}{2} i\right) \cdot \left(\left(5 + 0.0 i\right) + \left(\left(\left(\frac{1}{2} + 2\right) \cdot \frac{1}{2} - \frac{\sqrt{3}}{2} \cdot \left(0.0 + \frac{\sqrt{3}}{2}\right)\right) + \left(\left(-\frac{\sqrt{3}}{2}\right) \cdot \left(\frac{1}{2} + 2\right) + \left(0.0 + \frac{\sqrt{3}}{2}\right) \cdot \left(-\frac{1}{2}\right)\right) i\right)\right)\right)\right) \cdot \left(\left(-\frac{1}{2}\right) + \frac{\sqrt{3}}{2} i\right)\right)\right))
double f() {
        double r2683852 = 1.0;
        double r2683853 = -r2683852;
        double r2683854 = 2.0;
        double r2683855 = r2683853 / r2683854;
        double r2683856 = 3.0;
        double r2683857 = sqrt(r2683856);
        double r2683858 = r2683857 / r2683854;
        double r2683859 = /* ERROR: no complex support in C */;
        double r2683860 = r2683859 * r2683859;
        double r2683861 = r2683860 * r2683859;
        double r2683862 = r2683861 * r2683859;
        double r2683863 = -r2683854;
        double r2683864 = 0.0;
        double r2683865 = /* ERROR: no complex support in C */;
        double r2683866 = r2683865 * r2683859;
        double r2683867 = r2683866 * r2683859;
        double r2683868 = r2683867 * r2683859;
        double r2683869 = r2683862 + r2683868;
        double r2683870 = 5.0;
        double r2683871 = /* ERROR: no complex support in C */;
        double r2683872 = r2683871 * r2683859;
        double r2683873 = r2683872 * r2683859;
        double r2683874 = r2683869 + r2683873;
        double r2683875 = 4.0;
        double r2683876 = /* ERROR: no complex support in C */;
        double r2683877 = r2683876 * r2683859;
        double r2683878 = r2683874 + r2683877;
        double r2683879 = 7.0;
        double r2683880 = /* ERROR: no complex support in C */;
        double r2683881 = r2683878 + r2683880;
        double r2683882 = /* ERROR: no complex support in C */;
        return r2683882;
}
↓
double f() {
        double r2683883 = 7.0;
        double r2683884 = 0.0;
        double r2683885 = /* ERROR: no complex support in C */;
        double r2683886 = 4.0;
        double r2683887 = /* ERROR: no complex support in C */;
        double r2683888 = 1.0;
        double r2683889 = 2.0;
        double r2683890 = r2683888 / r2683889;
        double r2683891 = -r2683890;
        double r2683892 = 3.0;
        double r2683893 = sqrt(r2683892);
        double r2683894 = r2683893 / r2683889;
        double r2683895 = /* ERROR: no complex support in C */;
        double r2683896 = 5.0;
        double r2683897 = /* ERROR: no complex support in C */;
        double r2683898 = r2683890 + r2683889;
        double r2683899 = r2683898 * r2683890;
        double r2683900 = r2683884 + r2683894;
        double r2683901 = r2683894 * r2683900;
        double r2683902 = r2683899 - r2683901;
        double r2683903 = -r2683894;
        double r2683904 = r2683903 * r2683898;
        double r2683905 = r2683900 * r2683891;
        double r2683906 = r2683904 + r2683905;
        double r2683907 = /* ERROR: no complex support in C */;
        double r2683908 = r2683897 + r2683907;
        double r2683909 = r2683895 * r2683908;
        double r2683910 = r2683887 + r2683909;
        double r2683911 = r2683910 * r2683895;
        double r2683912 = r2683885 + r2683911;
        double r2683913 = /* ERROR: no complex support in C */;
        return r2683913;
}

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

  2. Simplified0

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

  3. Final simplification0

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

Reproduce

herbie shell --seed 2019170 
(FPCore ()
  :name "3.9.2 real part (p56)"
  (re (+ (+ (+ (+ (* (* (* (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (* (* (* (complex (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (* (* (complex 5.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (* (complex 4.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 7.0 0.0))))