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 r6815 = y;
        double r6816 = 2.821952756469356e+184;
        double r6817 = x;
        double r6818 = r6816 - r6817;
        double r6819 = asin(r6818);
        double r6820 = fmod(r6815, r6819);
        double r6821 = fabs(r6820);
        return r6821;
}