Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{1 - \tan x \cdot \tan x}{1 + \tan x \cdot \tan x}\]
\frac{1 - \tan x \cdot \tan x}{1 + \tan x \cdot \tan x}
double f(double x) {
        double r25499963 = 1.0;
        double r25499964 = x;
        double r25499965 = tan(r25499964);
        double r25499966 = r25499965 * r25499965;
        double r25499967 = r25499963 - r25499966;
        double r25499968 = r25499963 + r25499966;
        double r25499969 = r25499967 / r25499968;
        return r25499969;
}

Reproduce

herbie shell --seed 2019163 
(FPCore (x)
  :name "Trigonometry B"
  (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x)))))