NO
Input TRS:
      1: f(a()) -> f(a())
Trivially nonterminating rule 1.