Exception for Random Jason Timeout Test 001

Math

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

C

double f(double x) {
        double r281264 = x;
        double r281265 = cosh(r281264);
        double r281266 = asin(r281265);
        double r281267 = r281264 + r281266;
        return r281267;
}