Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\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(\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)
double f(double x_re, double x_im) {
        double r1959506 = x_re;
        double r1959507 = r1959506 * r1959506;
        double r1959508 = x_im;
        double r1959509 = r1959508 * r1959508;
        double r1959510 = r1959507 - r1959509;
        double r1959511 = r1959510 * r1959506;
        double r1959512 = r1959506 * r1959508;
        double r1959513 = r1959508 * r1959506;
        double r1959514 = r1959512 + r1959513;
        double r1959515 = r1959514 * r1959508;
        double r1959516 = r1959511 - r1959515;
        return r1959516;
}

Reproduce

herbie shell --seed 2019144 +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)))