Exception for Random Jason Timeout Test 001

Math

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

C

double f(double x) {
        double r1269174 = x;
        double r1269175 = cosh(r1269174);
        double r1269176 = asin(r1269175);
        double r1269177 = r1269174 + r1269176;
        return r1269177;
}