integral of cos^(1/2)x