Exception for Random Jason Timeout Test 001

Math

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

C

double f(double x) {
        double r1753052 = x;
        double r1753053 = cosh(r1753052);
        double r1753054 = asin(r1753053);
        double r1753055 = r1753052 + r1753054;
        return r1753055;
}