Exception for (tan (asin (- 1)))

• could not determine a ground truth for program body

Math

\[\tan \left(\sin^{-1} \left(-1\right)\right)\]

Reproduce

herbie shell --seed 2020152 
(FPCore ()
  :name "(tan (asin (- 1)))"
  :precision binary64
  (tan (asin (neg 1.0))))