Exception for (asin (log (/ (j0 x) (j1 y))))

Math

\[\sin^{-1} \left(\log \left(\frac{j_0\left(x\right)}{j_1\left(y\right)}\right)\right)\]

Reproduce

herbie shell --seed 2020152 
(FPCore (x y)
  :name "(asin (log (/ (j0 x) (j1 y))))"
  :precision binary64
  (asin (log (/ (j0 x) (j1 y)))))