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 r6460 = y;
        double r6461 = 2.821952756469356e+184;
        double r6462 = x;
        double r6463 = r6461 - r6462;
        double r6464 = asin(r6463);
        double r6465 = fmod(r6460, r6464);
        double r6466 = fabs(r6465);
        return r6466;
}