Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i\]
\left(\left(x \cdot y + z \cdot t\right) + a \cdot b\right) + c \cdot i
double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r125491 = x;
        double r125492 = y;
        double r125493 = r125491 * r125492;
        double r125494 = z;
        double r125495 = t;
        double r125496 = r125494 * r125495;
        double r125497 = r125493 + r125496;
        double r125498 = a;
        double r125499 = b;
        double r125500 = r125498 * r125499;
        double r125501 = r125497 + r125500;
        double r125502 = c;
        double r125503 = i;
        double r125504 = r125502 * r125503;
        double r125505 = r125501 + r125504;
        return r125505;
}

Reproduce

herbie shell --seed 2019344 
(FPCore (x y z t a b c i)
  :name "Linear.V4:$cdot from linear-1.19.1.3"
  :precision binary64
  (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))