Definite integral of radical function