Optimal equivalence translation