Symbolic Algebra Development for Higher-Order Electron Propagator Formulation and Implementation.