asin ⁡ x