Average Error: 61.9 → 0
Time: 30.9s
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{\sqrt{3}}{2} \cdot 4 i\right) + \left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \frac{-\sqrt{3}}{2} i\right) \cdot \left(\left(6 + \frac{-2 \cdot \sqrt{3}}{2} i\right) + \left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{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 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{\sqrt{3}}{2} \cdot 4 i\right) + \left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \frac{-\sqrt{3}}{2} i\right) \cdot \left(\left(6 + \frac{-2 \cdot \sqrt{3}}{2} i\right) + \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 r1031297 = 1.0;
        double r1031298 = -r1031297;
        double r1031299 = 2.0;
        double r1031300 = r1031298 / r1031299;
        double r1031301 = 3.0;
        double r1031302 = sqrt(r1031301);
        double r1031303 = r1031302 / r1031299;
        double r1031304 = /* ERROR: no complex support in C */;
        double r1031305 = r1031304 * r1031304;
        double r1031306 = r1031305 * r1031304;
        double r1031307 = r1031306 * r1031304;
        double r1031308 = -r1031299;
        double r1031309 = 0.0;
        double r1031310 = /* ERROR: no complex support in C */;
        double r1031311 = r1031310 * r1031304;
        double r1031312 = r1031311 * r1031304;
        double r1031313 = r1031312 * r1031304;
        double r1031314 = r1031307 + r1031313;
        double r1031315 = 5.0;
        double r1031316 = /* ERROR: no complex support in C */;
        double r1031317 = r1031316 * r1031304;
        double r1031318 = r1031317 * r1031304;
        double r1031319 = r1031314 + r1031318;
        double r1031320 = 4.0;
        double r1031321 = /* ERROR: no complex support in C */;
        double r1031322 = r1031321 * r1031304;
        double r1031323 = r1031319 + r1031322;
        double r1031324 = 7.0;
        double r1031325 = /* ERROR: no complex support in C */;
        double r1031326 = r1031323 + r1031325;
        double r1031327 = /* ERROR: no complex support in C */;
        return r1031327;
}
↓
double f() {
        double r1031328 = 5.0;
        double r1031329 = 3.0;
        double r1031330 = sqrt(r1031329);
        double r1031331 = 2.0;
        double r1031332 = r1031330 / r1031331;
        double r1031333 = 4.0;
        double r1031334 = r1031332 * r1031333;
        double r1031335 = /* ERROR: no complex support in C */;
        double r1031336 = 0.25;
        double r1031337 = r1031332 * r1031332;
        double r1031338 = r1031336 - r1031337;
        double r1031339 = -r1031330;
        double r1031340 = r1031339 / r1031331;
        double r1031341 = /* ERROR: no complex support in C */;
        double r1031342 = 6.0;
        double r1031343 = -2.0;
        double r1031344 = r1031343 * r1031330;
        double r1031345 = r1031344 / r1031331;
        double r1031346 = /* ERROR: no complex support in C */;
        double r1031347 = r1031346 + r1031341;
        double r1031348 = r1031341 * r1031347;
        double r1031349 = r1031335 + r1031348;
        double r1031350 = /* ERROR: no complex support in C */;
        return r1031350;
}

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 + 4 \cdot \frac{\sqrt{3}}{2} 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} \cdot -2}{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{\sqrt{3}}{2} \cdot 4 i\right) + \left(\left(\frac{1}{4} - \frac{\sqrt{3}}{2} \cdot \frac{\sqrt{3}}{2}\right) + \frac{-\sqrt{3}}{2} i\right) \cdot \left(\left(6 + \frac{-2 \cdot \sqrt{3}}{2} i\right) + \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 2019121 +o rules:numerics
(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))))