Average Error: 0 → 0
Time: 29.1s
Precision: 64
\[\Im(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(-1.0 + 1.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) + \left(\left(\left(\left(\left(\left(6.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(\left(\left(\left(\left(15.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(\left(\left(\left(20.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(\left(\left(15.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(\left(6.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(1.0 + 0.0 i\right)\right))\]
↓
\[\Im(\left(\left(\left(\left(1.0 + 0.0 i\right) + \left(\left(-1.0 \cdot 6.0 - 1.0 \cdot 0.0\right) + \left(1.0 \cdot 6.0 + 0.0 \cdot -1.0\right) i\right)\right) + \left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right) + \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) i\right) \cdot \left(\left(\left(-1.0 \cdot 20.0 - 1.0 \cdot 0.0\right) + 15.0\right) + \left(0.0 + \left(0.0 \cdot -1.0 + 20.0 \cdot 1.0\right)\right) i\right)\right)\right) + \left(\left(\left(\left(15.0 + 0.0 i\right) + \left(\left(-1.0 \cdot 6.0 - 1.0 \cdot 0.0\right) + \left(1.0 \cdot 6.0 + 0.0 \cdot -1.0\right) i\right)\right) \cdot \left(\left(\left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right) - \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right) + \left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right) i\right)\right) + \left(\left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(\left(\left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right) - \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right)\right) - \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) \cdot \left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right)\right) + \left(\left(\left(\left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right) - \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right) \cdot \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right)\right) i\right)\right)\right))\]
\Im(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(-1.0 + 1.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) + \left(\left(\left(\left(\left(\left(6.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(\left(\left(\left(\left(15.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(\left(\left(\left(20.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(\left(\left(15.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(\left(6.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(1.0 + 0.0 i\right)\right))
↓
\Im(\left(\left(\left(\left(1.0 + 0.0 i\right) + \left(\left(-1.0 \cdot 6.0 - 1.0 \cdot 0.0\right) + \left(1.0 \cdot 6.0 + 0.0 \cdot -1.0\right) i\right)\right) + \left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right) + \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) i\right) \cdot \left(\left(\left(-1.0 \cdot 20.0 - 1.0 \cdot 0.0\right) + 15.0\right) + \left(0.0 + \left(0.0 \cdot -1.0 + 20.0 \cdot 1.0\right)\right) i\right)\right)\right) + \left(\left(\left(\left(15.0 + 0.0 i\right) + \left(\left(-1.0 \cdot 6.0 - 1.0 \cdot 0.0\right) + \left(1.0 \cdot 6.0 + 0.0 \cdot -1.0\right) i\right)\right) \cdot \left(\left(\left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right) - \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right) + \left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right) i\right)\right) + \left(\left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(\left(\left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right) - \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right)\right) - \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) \cdot \left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right)\right) + \left(\left(\left(\left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right) - \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right) \cdot \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right)\right) i\right)\right)\right))
double f() {
        double r1782293 = -1.0;
        double r1782294 = 1.0;
        double r1782295 = /* ERROR: no complex support in C */;
        double r1782296 = r1782295 * r1782295;
        double r1782297 = r1782296 * r1782295;
        double r1782298 = r1782297 * r1782295;
        double r1782299 = r1782298 * r1782295;
        double r1782300 = r1782299 * r1782295;
        double r1782301 = 6.0;
        double r1782302 = 0.0;
        double r1782303 = /* ERROR: no complex support in C */;
        double r1782304 = r1782303 * r1782295;
        double r1782305 = r1782304 * r1782295;
        double r1782306 = r1782305 * r1782295;
        double r1782307 = r1782306 * r1782295;
        double r1782308 = r1782307 * r1782295;
        double r1782309 = r1782300 + r1782308;
        double r1782310 = 15.0;
        double r1782311 = /* ERROR: no complex support in C */;
        double r1782312 = r1782311 * r1782295;
        double r1782313 = r1782312 * r1782295;
        double r1782314 = r1782313 * r1782295;
        double r1782315 = r1782314 * r1782295;
        double r1782316 = r1782309 + r1782315;
        double r1782317 = 20.0;
        double r1782318 = /* ERROR: no complex support in C */;
        double r1782319 = r1782318 * r1782295;
        double r1782320 = r1782319 * r1782295;
        double r1782321 = r1782320 * r1782295;
        double r1782322 = r1782316 + r1782321;
        double r1782323 = r1782322 + r1782313;
        double r1782324 = r1782323 + r1782304;
        double r1782325 = /* ERROR: no complex support in C */;
        double r1782326 = r1782324 + r1782325;
        double r1782327 = /* ERROR: no complex support in C */;
        return r1782327;
}
↓
double f() {
        double r1782328 = 1.0;
        double r1782329 = 0.0;
        double r1782330 = /* ERROR: no complex support in C */;
        double r1782331 = -1.0;
        double r1782332 = 6.0;
        double r1782333 = r1782331 * r1782332;
        double r1782334 = r1782328 * r1782329;
        double r1782335 = r1782333 - r1782334;
        double r1782336 = r1782328 * r1782332;
        double r1782337 = r1782329 * r1782331;
        double r1782338 = r1782336 + r1782337;
        double r1782339 = /* ERROR: no complex support in C */;
        double r1782340 = r1782330 + r1782339;
        double r1782341 = r1782328 + r1782331;
        double r1782342 = r1782331 - r1782328;
        double r1782343 = r1782341 * r1782342;
        double r1782344 = r1782328 * r1782331;
        double r1782345 = r1782344 + r1782344;
        double r1782346 = /* ERROR: no complex support in C */;
        double r1782347 = 20.0;
        double r1782348 = r1782331 * r1782347;
        double r1782349 = r1782348 - r1782334;
        double r1782350 = 15.0;
        double r1782351 = r1782349 + r1782350;
        double r1782352 = r1782347 * r1782328;
        double r1782353 = r1782337 + r1782352;
        double r1782354 = r1782329 + r1782353;
        double r1782355 = /* ERROR: no complex support in C */;
        double r1782356 = r1782346 * r1782355;
        double r1782357 = r1782340 + r1782356;
        double r1782358 = /* ERROR: no complex support in C */;
        double r1782359 = r1782358 + r1782339;
        double r1782360 = r1782345 + r1782343;
        double r1782361 = r1782343 - r1782345;
        double r1782362 = r1782360 * r1782361;
        double r1782363 = r1782343 * r1782345;
        double r1782364 = r1782363 + r1782363;
        double r1782365 = /* ERROR: no complex support in C */;
        double r1782366 = r1782359 * r1782365;
        double r1782367 = r1782343 * r1782362;
        double r1782368 = r1782345 * r1782364;
        double r1782369 = r1782367 - r1782368;
        double r1782370 = r1782362 * r1782345;
        double r1782371 = r1782364 * r1782343;
        double r1782372 = r1782370 + r1782371;
        double r1782373 = /* ERROR: no complex support in C */;
        double r1782374 = r1782366 + r1782373;
        double r1782375 = r1782357 + r1782374;
        double r1782376 = /* ERROR: no complex support in C */;
        return r1782376;
}

Error

Derivation

  1. Initial program 0

    \[\Im(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(-1.0 + 1.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) + \left(\left(\left(\left(\left(\left(6.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(\left(\left(\left(\left(15.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(\left(\left(\left(20.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(\left(\left(15.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(\left(6.0 + 0.0 i\right) \cdot \left(-1.0 + 1.0 i\right)\right)\right) + \left(1.0 + 0.0 i\right)\right))\]

  2. Simplified0

    \[\leadsto \color{blue}{\Im(\left(\left(\left(\left(\left(-1.0 \cdot 6.0 - 1.0 \cdot 0.0\right) + \left(6.0 \cdot 1.0 + 0.0 \cdot -1.0\right) i\right) + \left(1.0 + 0.0 i\right)\right) + \left(\left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right) + \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right) i\right) \cdot \left(\left(15.0 + \left(-1.0 \cdot 20.0 - 1.0 \cdot 0.0\right)\right) + \left(0.0 + \left(1.0 \cdot 20.0 + 0.0 \cdot -1.0\right)\right) i\right)\right)\right) + \left(\left(\left(\left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right) + \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right)\right) \cdot \left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right) - \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right)\right) + \left(\left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right)\right) \cdot \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right) + \left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right)\right) \cdot \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right)\right) i\right) \cdot \left(\left(\left(-1.0 \cdot 6.0 - 1.0 \cdot 0.0\right) + \left(6.0 \cdot 1.0 + 0.0 \cdot -1.0\right) i\right) + \left(15.0 + 0.0 i\right)\right)\right) + \left(\left(\left(\left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right) + \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right)\right) \cdot \left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right) - \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right)\right)\right) \cdot \left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right)\right) - \left(\left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right)\right) \cdot \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right) + \left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right)\right) \cdot \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right)\right) \cdot \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right)\right) + \left(\left(\left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right) + \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right)\right) \cdot \left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right) - \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right)\right)\right) \cdot \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right) + \left(\left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right)\right) \cdot \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right) + \left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right)\right) \cdot \left(-1.0 \cdot 1.0 + -1.0 \cdot 1.0\right)\right) \cdot \left(\left(-1.0 - 1.0\right) \cdot \left(1.0 + -1.0\right)\right)\right) i\right)\right)\right))}\]

  3. Final simplification0

    \[\leadsto \Im(\left(\left(\left(\left(1.0 + 0.0 i\right) + \left(\left(-1.0 \cdot 6.0 - 1.0 \cdot 0.0\right) + \left(1.0 \cdot 6.0 + 0.0 \cdot -1.0\right) i\right)\right) + \left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right) + \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) i\right) \cdot \left(\left(\left(-1.0 \cdot 20.0 - 1.0 \cdot 0.0\right) + 15.0\right) + \left(0.0 + \left(0.0 \cdot -1.0 + 20.0 \cdot 1.0\right)\right) i\right)\right)\right) + \left(\left(\left(\left(15.0 + 0.0 i\right) + \left(\left(-1.0 \cdot 6.0 - 1.0 \cdot 0.0\right) + \left(1.0 \cdot 6.0 + 0.0 \cdot -1.0\right) i\right)\right) \cdot \left(\left(\left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right) - \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right) + \left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right) i\right)\right) + \left(\left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(\left(\left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right) - \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right)\right) - \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) \cdot \left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right)\right) + \left(\left(\left(\left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right) - \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(\left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right) + \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right) \cdot \left(1.0 \cdot -1.0 + 1.0 \cdot -1.0\right)\right) \cdot \left(\left(1.0 + -1.0\right) \cdot \left(-1.0 - 1.0\right)\right)\right) i\right)\right)\right))\]

Reproduce

herbie shell --seed 2019165 
(FPCore ()
  :name "3.9.1 imaginary part (p56)"
  (im (+.c (+.c (+.c (+.c (+.c (+.c (*.c (*.c (*.c (*.c (*.c (complex -1.0 1.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (*.c (*.c (*.c (*.c (*.c (complex 6.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (*.c (*.c (*.c (*.c (complex 15.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (*.c (*.c (*.c (complex 20.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (*.c (*.c (complex 15.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0))) (*.c (complex 6.0 0.0) (complex -1.0 1.0))) (complex 1.0 0.0))))