Average Error: 0 → 0
Time: 21.5s
Precision: 64
\[\Im(\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))\]
↓
\[\Im(\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))\]
\Im(\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))
↓
\Im(\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 r1010283 = 1.0;
        double r1010284 = -r1010283;
        double r1010285 = 2.0;
        double r1010286 = r1010284 / r1010285;
        double r1010287 = 3.0;
        double r1010288 = sqrt(r1010287);
        double r1010289 = r1010288 / r1010285;
        double r1010290 = /* ERROR: no complex support in C */;
        double r1010291 = r1010290 * r1010290;
        double r1010292 = r1010291 * r1010290;
        double r1010293 = r1010292 * r1010290;
        double r1010294 = -r1010285;
        double r1010295 = 0.0;
        double r1010296 = /* ERROR: no complex support in C */;
        double r1010297 = r1010296 * r1010290;
        double r1010298 = r1010297 * r1010290;
        double r1010299 = r1010298 * r1010290;
        double r1010300 = r1010293 + r1010299;
        double r1010301 = 5.0;
        double r1010302 = /* ERROR: no complex support in C */;
        double r1010303 = r1010302 * r1010290;
        double r1010304 = r1010303 * r1010290;
        double r1010305 = r1010300 + r1010304;
        double r1010306 = 4.0;
        double r1010307 = /* ERROR: no complex support in C */;
        double r1010308 = r1010307 * r1010290;
        double r1010309 = r1010305 + r1010308;
        double r1010310 = 7.0;
        double r1010311 = /* ERROR: no complex support in C */;
        double r1010312 = r1010309 + r1010311;
        double r1010313 = /* ERROR: no complex support in C */;
        return r1010313;
}
↓
double f() {
        double r1010314 = 5.0;
        double r1010315 = 3.0;
        double r1010316 = sqrt(r1010315);
        double r1010317 = 2.0;
        double r1010318 = r1010316 / r1010317;
        double r1010319 = 4.0;
        double r1010320 = r1010318 * r1010319;
        double r1010321 = /* ERROR: no complex support in C */;
        double r1010322 = 0.25;
        double r1010323 = r1010318 * r1010318;
        double r1010324 = r1010322 - r1010323;
        double r1010325 = -r1010316;
        double r1010326 = r1010325 / r1010317;
        double r1010327 = /* ERROR: no complex support in C */;
        double r1010328 = 6.0;
        double r1010329 = -0.5;
        double r1010330 = 0.5;
        double r1010331 = r1010316 / r1010330;
        double r1010332 = r1010329 * r1010331;
        double r1010333 = /* ERROR: no complex support in C */;
        double r1010334 = r1010327 + r1010333;
        double r1010335 = r1010334 * r1010327;
        double r1010336 = r1010321 + r1010335;
        double r1010337 = /* ERROR: no complex support in C */;
        return r1010337;
}

Error

Derivation

  1. Initial program 0

    \[\Im(\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}{\Im(\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 \Im(\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 imaginary part (p56)"
  (im (+.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))))