YES
exiting with thread!
(VAR x )
(RULES 
        f(c1,x) -> f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,x)))))))))))))
        f(e1,x) -> f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,x)))))))))))))))))))
        f(c,x) -> f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,x)))))))))
        f(d,x) -> f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,x)))))))))))))))
        f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,x)))))))))))))))))))))) -> x
        f(b1,x) -> f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,x)))))))))))))))))))))
        f(e,x) -> f(b,f(b,f(b,x)))
        f(a1,x) -> f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,f(b,x)))))))))))))))))
        f(a,x) -> f(b,f(b,f(b,f(b,f(b,x)))))
        f(d1,x) -> f(b,f(b,f(b,f(b,f(b,f(b,f(b,x)))))))
        
)