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 r5807 = y;
        double r5808 = 2.821952756469356e+184;
        double r5809 = x;
        double r5810 = r5808 - r5809;
        double r5811 = asin(r5810);
        double r5812 = fmod(r5807, r5811);
        double r5813 = fabs(r5812);
        return r5813;
}