Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{\left(re \cdot im\right)}{\left(im \cdot re\right)}\]
\frac{\left(re \cdot im\right)}{\left(im \cdot re\right)}
double f(double re, double im) {
        double r13124 = re;
        double r13125 = im;
        double r13126 = r13124 * r13125;
        double r13127 = r13125 * r13124;
        double r13128 = r13126 + r13127;
        return r13128;
}

Reproduce

herbie shell --seed 2019158 +o rules:numerics
(FPCore (re im)
  :name "math.square on complex, imaginary part"
  (+.p16 (*.p16 re im) (*.p16 im re)))