Exception for Random Jason Timeout Test 001

Math

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

C

double f(double x) {
        double r1082534 = x;
        double r1082535 = cosh(r1082534);
        double r1082536 = asin(r1082535);
        double r1082537 = r1082534 + r1082536;
        return r1082537;
}