Exception for Random Jason Timeout Test 009

Math

\[\left|\left(y \bmod \left(\sin^{-1} \left(2.8219527564693561 \cdot 10^{184} - x\right)\right)\right)\right|\]

C

double f(double x, double y) {
        double r5266 = y;
        double r5267 = 2.821952756469356e+184;
        double r5268 = x;
        double r5269 = r5267 - r5268;
        double r5270 = asin(r5269);
        double r5271 = fmod(r5266, r5270);
        double r5272 = fabs(r5271);
        return r5272;
}