Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[x + y \cdot \left(z - x\right)\]
x + y \cdot \left(z - x\right)
double f(double x, double y, double z) {
        double r391 = x;
        double r392 = y;
        double r393 = z;
        double r394 = r393 - r391;
        double r395 = r392 * r394;
        double r396 = r391 + r395;
        return r396;
}

Reproduce

herbie shell --seed 2020045 
(FPCore (x y z)
  :name "SynthBasics:oscSampleBasedAux from YampaSynth-0.2"
  :precision binary64
  (+ x (* y (- z x))))