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 r9143 = y;
        double r9144 = 2.821952756469356e+184;
        double r9145 = x;
        double r9146 = r9144 - r9145;
        double r9147 = asin(r9146);
        double r9148 = fmod(r9143, r9147);
        double r9149 = fabs(r9148);
        return r9149;
}