Improve performance of symbolic integral computation