Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(re \cdot re\right) - \left(im \cdot im\right)\]
\left(re \cdot re\right) - \left(im \cdot im\right)
double f(double re, double im) {
        double r406986 = re;
        double r406987 = r406986 * r406986;
        double r406988 = im;
        double r406989 = r406988 * r406988;
        double r406990 = r406987 - r406989;
        return r406990;
}

Reproduce

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