Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[1.0 - \sqrt{0.5 \cdot \left(1.0 + \frac{1.0}{\mathsf{hypot}\left(1.0, x\right)}\right)}\]
1.0 - \sqrt{0.5 \cdot \left(1.0 + \frac{1.0}{\mathsf{hypot}\left(1.0, x\right)}\right)}
double f(double x) {
        double r29058170 = 1.0;
        double r29058171 = 0.5;
        double r29058172 = x;
        double r29058173 = hypot(r29058170, r29058172);
        double r29058174 = r29058170 / r29058173;
        double r29058175 = r29058170 + r29058174;
        double r29058176 = r29058171 * r29058175;
        double r29058177 = sqrt(r29058176);
        double r29058178 = r29058170 - r29058177;
        return r29058178;
}

Reproduce

herbie shell --seed 2019165 +o rules:numerics
(FPCore (x)
  :name "Given's Rotation SVD example, simplified"
  (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))