Exception for Random Jason Timeout Test 001

Math

\[x + \sin^{-1} \left(\cosh x\right)\]

C

double f(double x) {
        double r695804 = x;
        double r695805 = cosh(r695804);
        double r695806 = asin(r695805);
        double r695807 = r695804 + r695806;
        return r695807;
}