A new algorithm for symbolic integration with application (W. Wang)