In what way is making the program harder to read contrary to making the final program more efficient?

Template meta programming is essential to many kinds of efficiency that are quite tedious to mimic in C.