Average Error: 0.4 → 0.4
Time: 11.1s
Precision: 64
\[\left(\left(\left(x.re \cdot x.re\right) - \left(x.im \cdot x.im\right)\right) \cdot x.re\right) - \left(\left(\frac{\left(x.re \cdot x.im\right)}{\left(x.im \cdot x.re\right)}\right) \cdot x.im\right)\]
↓
\[\left(x.re + x.im\right) \cdot \left(\left(x.re - x.im\right) \cdot x.re\right) - \left(x.re \cdot x.im + x.im \cdot x.re\right) \cdot x.im\]
\left(\left(\left(x.re \cdot x.re\right) - \left(x.im \cdot x.im\right)\right) \cdot x.re\right) - \left(\left(\frac{\left(x.re \cdot x.im\right)}{\left(x.im \cdot x.re\right)}\right) \cdot x.im\right)
↓
\left(x.re + x.im\right) \cdot \left(\left(x.re - x.im\right) \cdot x.re\right) - \left(x.re \cdot x.im + x.im \cdot x.re\right) \cdot x.im
double f(double x_re, double x_im) {
        double r280002 = x_re;
        double r280003 = r280002 * r280002;
        double r280004 = x_im;
        double r280005 = r280004 * r280004;
        double r280006 = r280003 - r280005;
        double r280007 = r280006 * r280002;
        double r280008 = r280002 * r280004;
        double r280009 = r280004 * r280002;
        double r280010 = r280008 + r280009;
        double r280011 = r280010 * r280004;
        double r280012 = r280007 - r280011;
        return r280012;
}
↓
double f(double x_re, double x_im) {
        double r280013 = x_re;
        double r280014 = x_im;
        double r280015 = r280013 + r280014;
        double r280016 = r280013 - r280014;
        double r280017 = r280016 * r280013;
        double r280018 = r280015 * r280017;
        double r280019 = r280013 * r280014;
        double r280020 = r280014 * r280013;
        double r280021 = r280019 + r280020;
        double r280022 = r280021 * r280014;
        double r280023 = r280018 - r280022;
        return r280023;
}

Error

Bits error versus x.re

Bits error versus x.im

Derivation

  1. Initial program 0.4

    \[\left(\left(\left(x.re \cdot x.re\right) - \left(x.im \cdot x.im\right)\right) \cdot x.re\right) - \left(\left(\frac{\left(x.re \cdot x.im\right)}{\left(x.im \cdot x.re\right)}\right) \cdot x.im\right)\]
  2. Using strategy rm

  3. Applied difference-of-squares0.4

    \[\leadsto \left(\color{blue}{\left(\left(\frac{x.re}{x.im}\right) \cdot \left(x.re - x.im\right)\right)} \cdot x.re\right) - \left(\left(\frac{\left(x.re \cdot x.im\right)}{\left(x.im \cdot x.re\right)}\right) \cdot x.im\right)\]

  4. Applied associate-*l*0.4

    \[\leadsto \color{blue}{\left(\left(\frac{x.re}{x.im}\right) \cdot \left(\left(x.re - x.im\right) \cdot x.re\right)\right)} - \left(\left(\frac{\left(x.re \cdot x.im\right)}{\left(x.im \cdot x.re\right)}\right) \cdot x.im\right)\]

  5. Final simplification0.4

    \[\leadsto \left(x.re + x.im\right) \cdot \left(\left(x.re - x.im\right) \cdot x.re\right) - \left(x.re \cdot x.im + x.im \cdot x.re\right) \cdot x.im\]

Reproduce

herbie shell --seed 2019107 +o rules:numerics
(FPCore (x.re x.im)
  :name "math.cube on complex, real part"
  (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))