Uniform Interpolants in EUF: Algorithms using DAG-representations (Logical Methods in Computer Science, 2022)