Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{\sin ky}{\sqrt{{\left(\sin kx\right)}^{2} + {\left(\sin ky\right)}^{2}}} \cdot \sin th\]
\frac{\sin ky}{\sqrt{{\left(\sin kx\right)}^{2} + {\left(\sin ky\right)}^{2}}} \cdot \sin th
double f(double kx, double ky, double th) {
        double r17046836 = ky;
        double r17046837 = sin(r17046836);
        double r17046838 = kx;
        double r17046839 = sin(r17046838);
        double r17046840 = 2.0;
        double r17046841 = pow(r17046839, r17046840);
        double r17046842 = pow(r17046837, r17046840);
        double r17046843 = r17046841 + r17046842;
        double r17046844 = sqrt(r17046843);
        double r17046845 = r17046837 / r17046844;
        double r17046846 = th;
        double r17046847 = sin(r17046846);
        double r17046848 = r17046845 * r17046847;
        return r17046848;
}

Reproduce

herbie shell --seed 2019104 +o rules:numerics
(FPCore (kx ky th)
  :name "Toniolo and Linder, Equation (3b), real"
  (* (/ (sin ky) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin th)))