Text this: Uniform Interpolants in EUF: Algorithms using DAG-representations