Use the --timeout flag to change the timeout.
\frac{\left(re \cdot im\right)}{\left(im \cdot re\right)}double f(double re, double im) {
double r11828 = re;
double r11829 = im;
double r11830 = r11828 * r11829;
double r11831 = r11829 * r11828;
double r11832 = r11830 + r11831;
return r11832;
}
herbie shell --seed 2019158
(FPCore (re im)
:name "math.square on complex, imaginary part"
(+.p16 (*.p16 re im) (*.p16 im re)))