Exception for Random Jason Timeout Test 001

Math

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

C

double f(double x) {
        double r772695 = x;
        double r772696 = cosh(r772695);
        double r772697 = asin(r772696);
        double r772698 = r772695 + r772697;
        return r772698;
}