integrate cos(arcsinx) from 0 to y