Average Error: 61.9 → 0
Time: 54.4s
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 r1193236 = 1.0;
        double r1193237 = -r1193236;
        double r1193238 = 2.0;
        double r1193239 = r1193237 / r1193238;
        double r1193240 = 3.0;
        double r1193241 = sqrt(r1193240);
        double r1193242 = r1193241 / r1193238;
        double r1193243 = /* ERROR: no complex support in C */;
        double r1193244 = r1193243 * r1193243;
        double r1193245 = r1193244 * r1193243;
        double r1193246 = r1193245 * r1193243;
        double r1193247 = -r1193238;
        double r1193248 = 0.0;
        double r1193249 = /* ERROR: no complex support in C */;
        double r1193250 = r1193249 * r1193243;
        double r1193251 = r1193250 * r1193243;
        double r1193252 = r1193251 * r1193243;
        double r1193253 = r1193246 + r1193252;
        double r1193254 = 5.0;
        double r1193255 = /* ERROR: no complex support in C */;
        double r1193256 = r1193255 * r1193243;
        double r1193257 = r1193256 * r1193243;
        double r1193258 = r1193253 + r1193257;
        double r1193259 = 4.0;
        double r1193260 = /* ERROR: no complex support in C */;
        double r1193261 = r1193260 * r1193243;
        double r1193262 = r1193258 + r1193261;
        double r1193263 = 7.0;
        double r1193264 = /* ERROR: no complex support in C */;
        double r1193265 = r1193262 + r1193264;
        double r1193266 = /* ERROR: no complex support in C */;
        return r1193266;
}
↓
double f() {
        double r1193267 = 5.0;
        double r1193268 = 4.0;
        double r1193269 = 2.0;
        double r1193270 = 3.0;
        double r1193271 = sqrt(r1193270);
        double r1193272 = r1193269 / r1193271;
        double r1193273 = r1193268 / r1193272;
        double r1193274 = /* ERROR: no complex support in C */;
        double r1193275 = 0.25;
        double r1193276 = r1193271 / r1193269;
        double r1193277 = r1193276 * r1193276;
        double r1193278 = r1193275 - r1193277;
        double r1193279 = -r1193276;
        double r1193280 = /* ERROR: no complex support in C */;
        double r1193281 = 6.0;
        double r1193282 = -2.0;
        double r1193283 = r1193276 * r1193282;
        double r1193284 = /* ERROR: no complex support in C */;
        double r1193285 = r1193280 + r1193284;
        double r1193286 = r1193280 * r1193285;
        double r1193287 = r1193274 + r1193286;
        double r1193288 = /* ERROR: no complex support in C */;
        return r1193288;
}

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