Performance-Portable Symbolic Factorization Through Common Graph Operations. | AMiner