Exception for Random Jason Timeout Test 001

Math

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

C

double f(double x) {
        double r5354 = x;
        double r5355 = cosh(r5354);
        double r5356 = asin(r5355);
        double r5357 = r5354 + r5356;
        return r5357;
}