So it turns out I was trying to solve the word problem for finitely represented groups. Investigation to ensue.
preparing for word_problem
Going to use Knuth-Bendix algo
Most of framework there, just need to implement expand_reds()
finished with knuth_bendix, now to map this over to cayley graph drawing