Definition:Real Arcsine