Definite Integral with arcsine (5.8 p387 #33)