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 r11919 = y;
        double r11920 = 2.821952756469356e+184;
        double r11921 = x;
        double r11922 = r11920 - r11921;
        double r11923 = asin(r11922);
        double r11924 = fmod(r11919, r11923);
        double r11925 = fabs(r11924);
        return r11925;
}