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 r11780 = re;
double r11781 = im;
double r11782 = r11780 * r11781;
double r11783 = r11781 * r11780;
double r11784 = r11782 + r11783;
return r11784;
}
herbie shell --seed 2019162
(FPCore (re im)
:name "math.square on complex, imaginary part"
(+.p16 (*.p16 re im) (*.p16 im re)))