The derivative of arcsine x