Exception for Random Jason Timeout Test 001

Math

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

C

double f(double x) {
        double r3088 = x;
        double r3089 = cosh(r3088);
        double r3090 = asin(r3089);
        double r3091 = r3088 + r3090;
        return r3091;
}