YES
Time: 0.000608
TRS:
 {           sqr 0() -> 0(),
             sqr s() -> s(),
             terms N -> cons recip sqr N,
             dbl 0() -> 0(),
             dbl s() -> s(),
         add(0(), X) -> X,
         add(s(), Y) -> s(),
       first(0(), X) -> nil(),
  first(s(), cons Y) -> cons Y}
 DP:
  DP:
   {terms# N -> sqr# N}
  TRS:
  {           sqr 0() -> 0(),
              sqr s() -> s(),
              terms N -> cons recip sqr N,
              dbl 0() -> 0(),
              dbl s() -> s(),
          add(0(), X) -> X,
          add(s(), Y) -> s(),
        first(0(), X) -> nil(),
   first(s(), cons Y) -> cons Y}
  UR:
   {}
   EDG:
    {}
    STATUS:
     arrows: 1.000000
     SCCS (0):