Cannot sample enough valid points. (more)

\[\left|\left(y \bmod \left(\sin^{-1} \left(2.8219527564693561 \cdot 10^{184} - x\right)\right)\right)\right|\]
\left|\left(y \bmod \left(\sin^{-1} \left(2.8219527564693561 \cdot 10^{184} - x\right)\right)\right)\right|
double code(double x, double y) {
	return fabs(fmod(y, asin((2.821952756469356e+184 - x))));
}

Reproduce

herbie shell --seed 2020063 +o rules:numerics
(FPCore (x y)
  :name "Random Jason Timeout Test 009"
  :precision binary64
  (fabs (fmod y (asin (- 2.821952756469356e+184 x)))))