Use the --timeout flag to change the timeout.
\frac{\cos \left(2 \cdot x\right)}{{cos}^{2} \cdot \left(\left(x \cdot {sin}^{2}\right) \cdot x\right)}double f(double x, double cos, double sin) {
double r1227412 = 2.0;
double r1227413 = x;
double r1227414 = r1227412 * r1227413;
double r1227415 = cos(r1227414);
double r1227416 = cos;
double r1227417 = pow(r1227416, r1227412);
double r1227418 = sin;
double r1227419 = pow(r1227418, r1227412);
double r1227420 = r1227413 * r1227419;
double r1227421 = r1227420 * r1227413;
double r1227422 = r1227417 * r1227421;
double r1227423 = r1227415 / r1227422;
return r1227423;
}
herbie shell --seed 2019179
(FPCore (x cos sin)
:name "cos(2*x)/(cos^2(x)*sin^2(x))"
(/ (cos (* 2.0 x)) (* (pow cos 2.0) (* (* x (pow sin 2.0)) x))))