Exception for Random Jason Timeout Test 001

Math

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

C

double f(double x) {
        double r2072792 = x;
        double r2072793 = cosh(r2072792);
        double r2072794 = asin(r2072793);
        double r2072795 = r2072792 + r2072794;
        return r2072795;
}