Exception for Random Jason Timeout Test 001

Math

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

C

double f(double x) {
        double r9258 = x;
        double r9259 = cosh(r9258);
        double r9260 = asin(r9259);
        double r9261 = r9258 + r9260;
        return r9261;
}