Average Error: 61.9 → 0
Time: 19.2s
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(\left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right) \cdot \left(\left(5 + 0.0 i\right) + \left(\left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right) \cdot \left(\left(-\left(2 + \frac{1}{2}\right)\right) + \left(\frac{\sqrt{3}}{2} + 0.0\right) i\right)\right)\right)\right) + \left(4 + 0.0 i\right)\right) \cdot \left(\frac{-1}{2} + \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(\left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right) \cdot \left(\left(5 + 0.0 i\right) + \left(\left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right) \cdot \left(\left(-\left(2 + \frac{1}{2}\right)\right) + \left(\frac{\sqrt{3}}{2} + 0.0\right) i\right)\right)\right)\right) + \left(4 + 0.0 i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right))
double f() {
        double r2723503 = 1.0;
        double r2723504 = -r2723503;
        double r2723505 = 2.0;
        double r2723506 = r2723504 / r2723505;
        double r2723507 = 3.0;
        double r2723508 = sqrt(r2723507);
        double r2723509 = r2723508 / r2723505;
        double r2723510 = /* ERROR: no complex support in C */;
        double r2723511 = r2723510 * r2723510;
        double r2723512 = r2723511 * r2723510;
        double r2723513 = r2723512 * r2723510;
        double r2723514 = -r2723505;
        double r2723515 = 0.0;
        double r2723516 = /* ERROR: no complex support in C */;
        double r2723517 = r2723516 * r2723510;
        double r2723518 = r2723517 * r2723510;
        double r2723519 = r2723518 * r2723510;
        double r2723520 = r2723513 + r2723519;
        double r2723521 = 5.0;
        double r2723522 = /* ERROR: no complex support in C */;
        double r2723523 = r2723522 * r2723510;
        double r2723524 = r2723523 * r2723510;
        double r2723525 = r2723520 + r2723524;
        double r2723526 = 4.0;
        double r2723527 = /* ERROR: no complex support in C */;
        double r2723528 = r2723527 * r2723510;
        double r2723529 = r2723525 + r2723528;
        double r2723530 = 7.0;
        double r2723531 = /* ERROR: no complex support in C */;
        double r2723532 = r2723529 + r2723531;
        double r2723533 = /* ERROR: no complex support in C */;
        return r2723533;
}
↓
double f() {
        double r2723534 = 7.0;
        double r2723535 = 0.0;
        double r2723536 = /* ERROR: no complex support in C */;
        double r2723537 = 1.0;
        double r2723538 = -r2723537;
        double r2723539 = 2.0;
        double r2723540 = r2723538 / r2723539;
        double r2723541 = 3.0;
        double r2723542 = sqrt(r2723541);
        double r2723543 = r2723542 / r2723539;
        double r2723544 = /* ERROR: no complex support in C */;
        double r2723545 = 5.0;
        double r2723546 = /* ERROR: no complex support in C */;
        double r2723547 = r2723537 / r2723539;
        double r2723548 = r2723539 + r2723547;
        double r2723549 = -r2723548;
        double r2723550 = r2723543 + r2723535;
        double r2723551 = /* ERROR: no complex support in C */;
        double r2723552 = r2723544 * r2723551;
        double r2723553 = r2723546 + r2723552;
        double r2723554 = r2723544 * r2723553;
        double r2723555 = 4.0;
        double r2723556 = /* ERROR: no complex support in C */;
        double r2723557 = r2723554 + r2723556;
        double r2723558 = r2723557 * r2723544;
        double r2723559 = r2723536 + r2723558;
        double r2723560 = /* ERROR: no complex support in C */;
        return r2723560;
}

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

Reproduce

herbie shell --seed 2019171 +o rules:numerics
(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))))