Exception for Random Jason Timeout Test 001

Math

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

C

double f(double x) {
        double r5505 = x;
        double r5506 = cosh(r5505);
        double r5507 = asin(r5506);
        double r5508 = r5505 + r5507;
        return r5508;
}