Exception for Random Jason Timeout Test 001

Math

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

C

double f(double x) {
        double r10656 = x;
        double r10657 = cosh(r10656);
        double r10658 = asin(r10657);
        double r10659 = r10656 + r10658;
        return r10659;
}