Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{x - \sin x}{x - \tan x}\]
\frac{x - \sin x}{x - \tan x}
double f(double x) {
        double r451085 = x;
        double r451086 = sin(r451085);
        double r451087 = r451085 - r451086;
        double r451088 = tan(r451085);
        double r451089 = r451085 - r451088;
        double r451090 = r451087 / r451089;
        return r451090;
}

Reproduce

herbie shell --seed 2019158 
(FPCore (x)
  :name "sintan (problem 3.4.5)"
  (/ (- x (sin x)) (- x (tan x))))