Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(re \cdot im\right) + \left(im \cdot re\right)\]
\left(re \cdot im\right) + \left(im \cdot re\right)
double f(double re, double im) {
        double r2245916 = re;
        double r2245917 = im;
        double r2245918 = r2245916 * r2245917;
        double r2245919 = r2245917 * r2245916;
        double r2245920 = r2245918 + r2245919;
        return r2245920;
}

Reproduce

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