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 r3811 = y;
        double r3812 = 2.821952756469356e+184;
        double r3813 = x;
        double r3814 = r3812 - r3813;
        double r3815 = asin(r3814);
        double r3816 = fmod(r3811, r3815);
        double r3817 = fabs(r3816);
        return r3817;
}