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