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 ((double) fabs(((double) fmod(y, ((double) asin(((double) (2.821952756469356e+184 - x))))))));
}

Reproduce

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