Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(\frac{\left(\left(d1 \cdot d2\right) - \left(d1 \cdot d3\right)\right)}{\left(d4 \cdot d1\right)}\right) - \left(d1 \cdot d1\right)\]
\left(\frac{\left(\left(d1 \cdot d2\right) - \left(d1 \cdot d3\right)\right)}{\left(d4 \cdot d1\right)}\right) - \left(d1 \cdot d1\right)
double f(double d1, double d2, double d3, double d4) {
        double r4620915 = d1;
        double r4620916 = d2;
        double r4620917 = r4620915 * r4620916;
        double r4620918 = d3;
        double r4620919 = r4620915 * r4620918;
        double r4620920 = r4620917 - r4620919;
        double r4620921 = d4;
        double r4620922 = r4620921 * r4620915;
        double r4620923 = r4620920 + r4620922;
        double r4620924 = r4620915 * r4620915;
        double r4620925 = r4620923 - r4620924;
        return r4620925;
}

Reproduce

herbie shell --seed 2019158 
(FPCore (d1 d2 d3 d4)
  :name "FastMath dist4"
  (-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1)))