Exception for Random Jason Timeout Test 009

Math

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

C

double f(double x, double y) {
        double r3415 = y;
        double r3416 = 2.821952756469356e+184;
        double r3417 = x;
        double r3418 = r3416 - r3417;
        double r3419 = asin(r3418);
        double r3420 = fmod(r3415, r3419);
        double r3421 = fabs(r3420);
        return r3421;
}