Computer Algebra and Line Search