Use symbolic algebra and projection method to accelerate Anderson Moore Algorithm solutions