Comment by Ono-Sendai

Here's my fast acos, which I think can be converted to an asin: https://forwardscattering.org/post/66