A numerical integration scheme for finite element method based on symbolic manipulation