Exception for Random Jason Timeout Test 001

Math

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

C

double f(double x) {
        double r1268040 = x;
        double r1268041 = cosh(r1268040);
        double r1268042 = asin(r1268041);
        double r1268043 = r1268040 + r1268042;
        return r1268043;
}