Exception for Random Jason Timeout Test 001

Math

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

C

double f(double x) {
        double r1624451 = x;
        double r1624452 = cosh(r1624451);
        double r1624453 = asin(r1624452);
        double r1624454 = r1624451 + r1624453;
        return r1624454;
}