Exception for Random Jason Timeout Test 001

Math

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

C

double f(double x) {
        double r1241829 = x;
        double r1241830 = cosh(r1241829);
        double r1241831 = asin(r1241830);
        double r1241832 = r1241829 + r1241831;
        return r1241832;
}